Model-Based Engineering of Real-Time and Embedded Systems
<
Abstract
The construction and exploitation of models are integral to any engineering discipline. Engineering models are used both to reason about a design and its properties as well as to communicate these to others. A useful engineering model typically focuses on the essential properties of interest while abstracting away those aspects that are of lesser consequence, thereby permitting us to cope with otherwise overwhelming complexity.
Given the complexity of modern real-time and embedded software systems, it is quite natural to use models and modeling in their design. However, while models have been used in software development for a long time (consider, for example, the classical flow-chart notation used to describe algorithmic procedures), it is only recently that their full potential for boosting productivity and quality has been recognized and effectively realized in software engineering. In this talk, we first examine the essential characteristics of model-based software engineering and then focus on its application to real-time and embedded systems, including a review of the relevant latest developments and standards. Next, we examine the state of the art as well as the state of the practice of these methods and technologies in industrial settings. Finally, we discuss the challenges to and opportunities for extending the current capabilities of model-based real-time software and systems development.
Speaker
Bran Selic
President, Malina Software Corp. and Adjunct Professor, University of Toronto/Carleton University
Speaker Bio
Bran Selic is President and Founder of Malina Software Corp., a Canadian company that provides consulting services to clients worldwide. In 2007, Bran retired from IBM Canada, where he was an IBM Distinguished Engineer responsible for the strategic direction of IBM’s software development tools. In addition, Bran is an adjunct professor of computer science at both the University of Toronto and at Carleton University in Canada. He has over 35 years of practical industrial experience in designing and implementing large-scale software systems and has pioneered the application of model-based methods in real-time and embedded applications. In the past decade, Bran has led several international standards efforts related to modeling technologies, including the widely used UML 2 modeling language standard. A frequent invited and keynote speaker at various technical events, he is on the editorial board of two major scientific journals and has been the general and technical program chair of a number of technical conferences.
Bran received his Dipl.Ing degree in 1972 and his Mag.Ing degree in 1974, both from the University of Belgrade in Yugoslavia.
