yobo体育


yobo体育:You are Welcome to Attend all Keynote and Invited Speeches* Shared by DCIT 2015 Conferences as below:



  • (Sorted Alphabetically by Speacker's Last Name)




    Title: Software Reliability Engineering: From Fault Detection to Analytics
    Speaker: Prof. Bojan Cukic, Department of Computer Science University of North Carolina at Charlotte,USA
    (Professor and Chair of the Department of Computer Science at the University of North Carolina at Charoltte)

    Abstract:
    Software is everywhere and our lives depend on its operation. The techniques to achieve and guarantee high software reliability have been actively pursued goals of software engineering research for decades. At the same time, software systems whose reliability needed assessment and improvement have changed dramatically. Early research considered monolithic PBX switches in telecommunication systems and different types of control and safety management applications as natural targets for reliability evaluations, which were thorough, costly and time consuming. Changing scale and economics of software engineering required new reliability techniques which could fit into agile schedules and nimble cost margins. This trend is continuing, and the applications of software reliability engineering to the Internet of Things are on the horizon.
    In this talk, we will overview the evolution of software reliability engineering techniques and emphasize practical large scale applications of fault prediction and report analysis to projects from large scale repositories. The talk will demonstrate practical improvements in software quality and reliability enabled by the application of software analytics and conclude with the observations about future trends. PPT

    Speacker Info:
    Dr. Bojan Cukic is a Professor and Chair of the Department of Computer Science at the University of North Carolina at Charoltte. Prior to joining UNC Charlotte, he served as the director of Center for Identification Technology Research (CITeR) an NSF Industry University Cooperative Research Center. Dr. Cukic’s research interests include software engineering with emphasis on verification and validation, information assurance and biometrics, and resilient computing. He received PhD in Computer Science from the University of Houston.
    Dr. Cukic received a US National Science Foundation Career award and a Tycho Brahe award for outstanding empirical research from the NASA Office of Safety and Mission Assurance. He served as a program chair of many IEEE Symposia and conferences, including Reliable and Distributed Systems (SRDS 2005), High Assurance Systems Engineering (HASE ’07), Software Reliability Engineering (ISSRE ’03 and ’11), Intelligence and Security Informatics (ISI ’12). Dr. Cukic also served as a guest editor of IEEE Software magazine and a member of the editorial board of Empirical Software Engineering journal (’08-’14).   






    Title: Recent Developments on Algebraic Specification and Verification in CafeOBJ
    Speaker: Prof. Kokichi Futatsugi, Japan Advanced Institute of Science and Technology, Japan
    (Fellow of Japan Society for Software Science and Technology)

    Abstract:
    Recent developments of formal specification and verification in CafeOBJ are overviewed. CafeOBJ is a most advanced formal specification and verification language system, and we have developed several language extensions and methodological enhancements on CafeOBJ. This talks give an overview of the developments focusing on automation of proof scores and its good effect on reliable formal specifications. PPT

    Speacker Info:
    Professor Futatsugi assumed a concurrent position at JAIST in April 1992 while he was working mainly for ETL (Electrotechnical Lab.) as Chief Senior Researcher. In April 1993, he starts to work mainly for JAIST. He received the Ph.D. degree from Tohoku University, and joined ETL in 1975. Professor Futatsugi stayed at SRI International as an International Fellow for one year from 1983 to 1984. Professor Futatsugi was the Dean of Graduate School of Information Science, JAIST from 2001 to 2003.   Details...







    Title: IWoT ‘Internet and Web of Things’: challenges and opportunities
    Prof. Kun Mean HOU, Laboratoire LIMOS UMR 6158 CNRS, France

    Abstract:
    WSN is an emergent and multidisciplinary science, a very active and competitive research area.The presentation will focus on the global panorama IoT technology by considering the big main ICT actors such as IBM, INTEL, SAP, TI, ARM, HUAWEI, TENCENT, SAMSUNG and academic research institutions (e.g. SICS, Berkeley …).
    Until now academic research institutions are the main contributors driving and developing the core technologies dedicated to IWoT. Therefore, it is important to provide a brief survey of the current state-of-the-art of the IWoT core technology by highlighting the challenges and the open research issues of basic hardware and software components such as WSN node hardware, operating system, 6LoWPAN and RPL, and CoAP. The key features of WSN node to be used for the large scale outdoor/indoor applications such as precision agriculture, smart care and CPS ‘Cyber Physical System’ will be described. PPT

    Speacker Info:
    Kun Mean HOU was born in Cambodia in 1956. He held a PhD degree in 1984 and a HDR degree in 1996 in Computer Science from the University of Technology of Compiègne (UTC), France.
    He worked as associate professor at UTC from 1984 to 1986. In 1986 he joined IN2 as R&D engineer group leader to develop fault-tolerant super-minicomputer. From 1989 to 1996, he led a research group, which investigated parallel architecture dedicated to real-time image processing at laboratory HEUDIASYC UMR 6599 CNRS (UTC).   Details...






    Title: Why Does Software Fail and What Should be Done About It?
    Speaker: Prof. Kishor S. Trivedi, Duke University, North Carolina, USA
    (Fellow of IEEE )

    Abstract:
    Safety critical and other technical systems contain significant amount of software. Several recent studies have established that most system outages are due to software faults. Traditional methods of fault avoidance, fault removal based on extensive testing/debugging, and fault tolerance based on design/data diversity are found wanting. The key challenge then is how to provide highly dependable software. We discuss a new view of fault tolerance of software-based systems. We classify software faults into Bohrbugs and Mandelbugs, and identify aging-related bugs as a subtype of the latter. Traditional methods have been designed to deal with Bohrbugs. The next challenge then is to develop mitigation methods for Mandelbugs in general and aging-related bugs in particular. We submit that mitigation methods for Mandelbugs utilize environmental diversity. Restart application, failover to an identical replica (hot, warm or cold) and reboot the OS are examples of mitigation techniques that rely on environmental diversity. We discuss environmental diversity both from experimental and analytic points of view. We end by discussing software aging related faults where it is possible to utilize proactive environmental diversity technique known as software rejuvenation.  PPT

    Speacker Info:
    He holds the Hudson Chair in the Department of Electrical and Computer Engineering at Duke University, Durham, NC. His research group is known as Duke High Availability Assurance Laboratory (DHAAL). He also holds a joint appointment in the Department of Computer Science at Duke. He was the Duke-Site Director of an NSF Industry-University Cooperative Research Center between NC State University and Duke University for carrying out applied research in computing and communications.    Details...






    Title: Quantitative evaluation of concurrent systems with non-Markovian temporal parameters
    Speaker: Prof. Enrico Vicario, University of Florence, Italy
    (Full professor of computer science and engineering at the University of Florence)

    Abstract:
    In the engineering of non-functional requirements, several methods and tools support quantitative evaluation of stochastic models combining concurrency, probabilistic behaviour, and stochastic durations, either through statistical discrete event simulation or through numerical solution. In particular, numerical approaches trade modelling expressivity for the sake of exhaustive coverage of the state space. In most numerical approaches, durations are assumed to be exponentially distributed (EXP), which casts the underlying stochastic process in the class of Continuous Time Markov Chains (CTMC). However, often, model validity requires that some durations break the EXP memoryless property and be rather generally distributed (GEN). For instance, this occurs in aging processes accumulating memory over time, or in real-time systems or network protocols where correctness depends on firm time bounds. In such non-Markovian models, the future evolution depends on the remaining time of GEN durations, and the underlying stochastic process is no more a CTMC. In this case, the consolidated practice for numerical solution relies either on the approximation of GEN variables through Continuous Phase Type distributions (CPH) or on the assumption of the so-called enabling restriction which limits model expressivity so that GEN durations never overlap.
    In this talk, we recall the salient traits of a more recent approach, the so-called method of stochastic state classes, which allows numerical solution of models with multiple concurrent GEN variables with possibly bounded support. We contrast strengths and weaknesses of the approach with respect to methods based on CPH approximation or on the enabling restriction, and we discuss its applicability through examples evaluated through the Oris tool. PPT

    Speacker Info:
    Enrico Vicario is a Full Professor of Computer Science and Engineering (Sistemi di Elaborazione dell'Informazione - IngInf05 - 09/H1) at the Department of Information Engineering of the University of Florence. He is a member of the Academic Senate of the University of Florence since november 2012 and vice-President of the national board of the GII (Gruppo di Ingegneria Informatica) since september 2013.   Details...






    Title: Foundations of the Internet of Things
    Speaker: Dr. Jeffrey Voas, USA
    (Fellow of IEEE and Past President of IEEE Reliability Society)

    Abstract:
    Eight core primitives belonging to most distributed computing systems, and in particular, systems with large amounts of data, scalability concerns, heterogeneity concerns, temporal concerns, elements of unknown pedigree and possible nefarious intent, are presented. Primitives allow formalisms, reasoning, simulations, and reliability and security risk-tradeoffs to be formulated and argued. These 8 primitives are basic building blocks for a Network of ‘Things’ (NoT), including the Internet of Things (IoT), an emerging ‘new’ distributed computing paradigm. They are: 1) Sensor, 2) Snapshot (time), 3) Cluster, 4) Aggregator, 5) Weight, 6) Communication channel, 7) eUtility, and 8) Decision trigger.
    A composability model and vocabulary that defines principles common to most, if not all NoTs, is needed. For example, “what is the science, if any, underlying the IoT?” Primitives offer the potential for answers by allowing comparisons between one NoT architecture to another. They offer a unifying vocabulary that allows for composition and information exchange among differently purposed networks. And they offer clarity regarding more subtle concerns, including interoperability, composability, and continuously-binding of assets that come and go on-the-fly, all of which are large concerns for IoT. PPT

    Speacker Info:
    Jeffrey Voas is a computer scientist. His current research interests include vetting mobile app software, how apps depend on clouds, software certification ethics, and Internet of Things (IOT). Voas has worked for small private companies, defense contractors, and government agencies. Dr. Voas has served as the IEEE Reliability Society President (2003-2005, 2009-2010), Vice-President of the IEEE Technology Management Council for Operations (2013-2014), and as IEEE Director (2011-2012). He co-authored two John Wiley books, Software Assessment: Reliability, Safety, and Testability (1995) and Software Fault Injection: Inoculating Software Against Errors (1998). He is currently an Associate Editor-In-Chief of IEEE’s IT Professional Magazine, and is on the editorial board of IEEE Computer Magazine as well as the Editorial Advisory Board of IEEE Spectrum Magazine. Voas also serves on IEEE’s Industry Advisory Board for the Future Directions Committee, and on IEEE’s Fellow Committee. Dr. Voas received his undergraduate degree in Computer Engineering from Tulane University (1985), and his M.S. and Ph.D. in Computer Science from the College of William and Mary (1986 and 1990, respectively). He is a Fellow of the IEEE and Fellow of the American Association for the Advancement of Science (AAAS).






    Title: Localize Software Bugs in a Cost Effective Way
    Speaker: Prof. Eric Wong, University of Texas at Dallas, USA
    (Vice President for Publications of the IEEE Reliability Society)

    Abstract:
    Program debugging is an important activity in the development of reliable and trustworthy software. This activity can be very expensive and time consuming due to the difficulty of identifying the exact locations of program faults. This talk explains how to take advantage of sophisticated analysis of the static and dynamic behavior of the software under examination to prioritize suspicious code in terms of its likelihood of containing program bugs. Code with a higher risk can then be examined before that with a lower risk, as the former is more suspicious (more likely to contain program bugs) than the latter. Different techniques for fault localization based on slicing, code coverage/program spectra, heuristics, neural networks, statistical analysis, and clustering will be discussed. Empirical data from case studies on programs with single and multiple bugs is used to show our techniques outperform others that have the same goal.

    Speacker Info:
    Dr. Wong is a Professor, Director of International Outreach, and Director of Advanced Research Center on Software Testing and Quality Assurance in Computer Science at the University of Texas at Dallas. He also has an appointment as a Guest Researcher from NIST (National Institute of Standards and Technology), an agency of the U.S. Department of Commerce, located in Gaithersburg, Maryland. Before joining UTD in 2002, he was with Telcordia Technologies as a Senior Research Scientist in Applied Research and a project manager under the Horizon Research Program.   Details...






    Title: Some practical approaches for software reliability analysis from a systems engineering perspective
    Speaker: Prof. Min Xie, City University of Hong Kong, China
    (IEEE Fellow)

    Abstract:
    Software reliability is known to be a very important issue for complex systems. Research on software reliability has been going on for several decades, but few models have been successfully applied in practice. In this talk, the earlier developments in software and system reliability will be discussed. Some of the issues related to software reliability models will be presented with the emphasis on software testing and system reliability analysis. We will also share some views on the modelling and analysis of complex system dependability, and the applications in different fields. PPT

    Speacker Info:
    Min Xie is currently a Chair Professor of Industrial Engineering at City University of Hong Kong and serves as Associate Dean (Internationalization) at College of Science and Engineering. He did his undergraduate study at Royal Inst of Technology in Sweden and graduated with a MSc in 1984. Later he completed his PhD from Linkoping University, Sweden in 1987. Dr Xie joined the National University of Singapore in 1991 as one of the first recipients of the prestigious LKY research fellowship. Prof Xie has published over 200 SCI-index journal papers and 8 books, including “Software Reliability Modelling” by World Scientific in 1991, “Weibull Models” by John Wiley in 2002, “Computing Systems Reliability” by Springer in 2003. He is an editor, associate editor and on the editorial board of more than 15 international journals. Prof Xie was elected fellow of IEEE in 2005 for his contribution in software and systems reliability. He has successfully supervised about 40 PhD students, now holding various positions in academia and industry.   Details...


yobo体育-yobo体育app