SDL 2011
15th International Conference on
System Design Languages

July 5th - 7th, 2011, Toulouse, France

Invited speakers of SDL 2011


Dorina C. PETRIU, Ph.D., P.Eng, FCAE, FEIC
Professor, Department of Systems and Computer Engineering
Carleton University, Ottawa, Canada
http://www.sce.carleton.ca/faculty/petriu.html

Dorina Petriu

Bio: Dorina C. Petriu is a full professor in the Department of Systems and Computer Engineering at Carleton University, Ottawa, ON, Canada. She received a Dipl. Eng. degree in computer engineering from the Polytechnic University of Timisoara, Romania, and a Ph.D. degree from Carleton University. Her main research interests are in the areas of software performance modeling and model-driven development, with emphasis on integrating performance engineering into the software development process. She was a contributor to two OMG standards, the UML Profile for Schedulability, Performance and Time (SPT) and the UML Profile for Modeling and Analysis of Real Time Systems (MARTE), which extend UML with qualitative and quantitative concepts for modeling and analyzing real-time systems. She served as Program Chair for MODELS’2010 and QoSA’ 2011, and participated in the steering and program committees of numerous international conferences and workshops. Dr. Petriu is a Fellow of the Canadian Academy of Engineering, a Fellow of the Engineering Institute of Canada, a Senior Member of I.E.E.E. and a member of A.C.M.

Title: Model-based Performance Analysis of Service-Oriented Systems

Abstract: Quantitative performance analysis of service-oriented systems can be conducted in the early development phases by transforming a UML software model extended with performance annotations into a performance model (such as queueing networks, Petri nets, stochastic process algebra) which can be solved with existing performance analysis tools. The OMG standard UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) can be used for adding performance annotations to a given UML model.
   The talk will discuss the type of MARTE performance annotations and the principles for transforming annotated software models into performance models. Such a transformation must bridge a large semantic gap between the source and target model for two main reasons: performance models concentrate on resource usage and abstract away many details of the original software model, and the performance model requires platform information which is not contained in the software application model. The starting point for the performance model derivation is a platform independent model (PIM) of a SOA system representing the process workflows, architecture of the components offering services, and behavior of the runtime scenarios chosen for evaluation. The PIM is transformed into a platform specific model (PSM) by weaving platform services through aspect-oriented modeling techniques. Other research challenges will be also discussed, such as merging performance modeling and measurements and analyzing performance effects of SOA design patterns.


Thierry LE SERGENT, Ph.D.
SCADE System and SCADE Suite Product Manager
Esterel Technologies, Toulouse, France

Thiery Le Sergent

Bio: Thierry Le Sergent received his PhD in Computer Science from the “LAAS-CNRS” in 1993. He has over 12 years of experience in the development of software engineering methods and tools (ASA+, ObjectGEODE and SCADE) at Verilog, Telelogic and Esterel Technologies. In 2002, he joined Esterel Technologies as R&D project manager leading the SCADE Gateways team. Activities of the team includes the design and development of SW tools that link SCADE environment to other formalisms, e.g. UML/SysML and Simulink/Stateflow. He has been coordinator of the FP5-IST RISE project, and he managed for Esterel Technologies FP6-IST DECOS, SPEED, and INTEREST projets. In 2007, Mr. Le Sergent assumed a new position as SCADE Suite Product Marketing Manager, in charge of the definition of the SCADE Suite releases. In 2011, he managed the launch of SCADE System, a new product line for Esterel Technologies.

Title: SCADE: a Comprehensive Framework for Critical System and Software Engineering

Abstract: The International Council on Systems Engineering (INCOSE) defines system engineering as an interdisciplinary approach and means to enable the realization of successful systems. It focuses on defining customer needs and required functionality early in the development cycle, documenting requirements, and then proceeding with design synthesis and system validation.
   The main challenges of System Engineering are related to providing non-ambiguous and coherent specification, making all relevant information readily available to all stakeholders, establishing traceability between all activities, and providing the appropriate level of verification and validation. Model Based technology can play a central role in System Engineering. Among the benefits, MBSE shall avoid duplication of information, parallel evolution of data between system teams and software teams, hence reducing the nightmare of information resynchronization.
   I will introduce the SCADE System product line for embedded systems modeling and generation based on the SysML standard and the Eclipse Papyrus open source technology. SCADE System has been developed in the framework of Listerel, a joint laboratory of Esterel Technologies, provider of the SCADE tools, and CEA LIST, project leader of MDT Papyrus.
   From an architecture point of view, the Esterel SCADE tools are built on top of the SCADE platform which includes both SCADE Suite, a model-based development environment dedicated to critical embedded software, and SCADE System for system engineering. SCADE System includes MDT Papyrus, an open source component (under EPL license) based on Eclipse. This allows system and software teams to share the same environment. Furthermore, and thanks to Eclipse, other model-based tools can be added to the environment.
   The SCADE System modeler focuses on ease of use, hiding the intricacies of UML profiling to the system engineers. Hence, domain views that have been consistently requested by the system engineering users, such as a tabular view to describe blocks and interfaces, are added to the tool. The core functionality of the Papyrus SysML modeler has also been augmented with requirements traceability and automatic production of system design documents.
   Once the system description is complete and checked, the individual software blocks in the system can be refined in the form of models in SCADE Suite and SCADE Display, or for some of them in the form of manually developed source code. SCADE System avoids duplication of efforts and inconsistencies between system structural descriptions made of SysML block diagrams, IBD and BDD, and the full software behavioral description designed through both SCADE Suite and SCADE Display models.    Automatic and DO-178B Level A qualified code generation can be applied to the SCADE Suite and SCADE Display models. Moreover, the SCADE System description can be used as the basis to develop scripts that will automatically integrate the complete application software.


Rick REED, C.Eng., MBCS, B.Sc.
Chairman at SDL Forum Society
Windermere, Cumbria, United Kingdom

Rick Reed

Bio: Rick Reed (C.Eng., MBCS, B.Sc.) has 40 years experience in telecommunications software: from 1971 to 1991 with GEC Telecoms, Coventry, England (and its successor GPT, which became briefly SCGS in 1997 then Marconi in 1999 and in 2005 bought by Ericsson after dotcom losses); from 1991 as a consultant trading as Telecommunications Software Engineering (TSE). His final role at GPT Coventry (1982-1991) was Head Software Methods and Future Architectures Group. Within TSE as well as running the company, he has provided consultancy to a number of different organizations on issues from service engineering, through detailed satellite protocol design, to design and use of the ITU Specification and Description Language.
   He has been a UK delegate at ITU-T since 1978 (then called CCITT), and head of the UK delegation to ITU-T Study Group 10 then Study Group 17 from 1988 until 2008 (stepped aside to focus on languages in SG17, rather than Security issues). From 1982 he participated in the ITU studies on SDL-84, SDL-88, SDL-92, SDL-96, SDL-2000 and most recently SDL-2010. From 1997, He has been responsible for study Questions which (amongst other issues) include SDL-2000 and SDL-2010.

Title: SDL-2010: Background, Rationale, and Survey

Abstract: This invited presentation concerns a revised version of the ITU-T Specification and Description Language standard, which is scheduled to be consented for approval by ITU-T during 2011. In this presentation and ongoing ITU-T work the revised version is called SDL-2010. At the time of writing (April 2011) the current standardized (or in ITU-T terminology Recommended) version is called SDL-2000. The presentation gives some historical background on the development of the language. The presentation includes rationale for the update of the language and the revised organization of the language standard. After the history, there is a description of the new organization followed by some details of the changed feature set of a revised version SDL-2010 compared with SDL-2000. The presentation concludes with a snapshot of the status of the SDL-2010 standard.

Last update: Jul 4th, 2011. Copyright © IRIT, Toulouse.