Code Generation 2008 Programme Information
Session Title Matching Supply and Demand: Challenges in Model-Based Code Generation for QoS-Constrained Software

Session Type Keynote

Duration75 minutes

Session Description

QoS-constrained software applications are systems whose correctness is critically dependent not only on providing the right functionality but also on providing it with the right quality of service (QoS). QoS constraints on software involve characteristics such as acceptable response times, minimal processing throughput, necessary levels of security or availability, and so on. The QoS characteristics of an executing program are a direct function of the QoS characteristics of its underlying platform the combination of software and hardware that constitutes its run-time environment.

With the move towards model-driven development (MDD) methods that rely on automated code generation, the problem of ensuring that an application will satisfy its QoS constraints seems to be even more challenging, due to the higher levels of abstraction inherent in MDD and the tendency to abstract out platform specifics. However, as we explain in this talk, modeling can be used to great advantage in such situations, enabling explicit and platform-independent means for specifying QoS requirements as well as exploitation of methods for formal analysis of QoS consistency and correctness. In the latter part of this talk, we confront the issue of how such highly useful capabilities can be incorporated into the process of automated code generation to provide optimized realizations of MDD applications.

Speaker Bran Selic is currently President of Malina Software Corp., a Canadian company that provides consulting services to Fortune 100 clients worldwide. In 2007, Bran retired from IBM Canada, where he was an IBM Distinguished Engineer responsible for defining the strategic direction for software development tools for the Rational brand. He is also an adjunct professor of computer science at Carleton University in Ottawa, Canada. In addition, Bran is one of the founders and a member of the steering committee of the Centre of Excellence for Research in Adaptive Systems (CERAS), an institute established by the Ontario Centres of Excellence and the IBM Center for Advanced Studies.

Bran has over 35 years of practical experience in designing and implementing large-scale industrial software systems and has pioneered the application of model-driven development methods in real-time and embedded applications. He is the chair of the OMG committee responsible for the UML 2 modeling language standard. Bran received his Dipl.Ing degree in 1972 and his Mag.Ing degree in 1974, both from the University of Belgrade in Yugoslavia.