Specification, Implementation, and Validation of Object-Oriented Embedded Systems

  • François Terrier
  • Nikos S. Voros
  • Udo Brockmeyer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1964)


This workshop objective is to identify the main lacks of UML for developing real-time embedded systems and the main prospective directions for research to these difficulties. For that, it aims to gather academics and industrial people to discuss on industrial needs, on formalisms prospects and on advanced solutions. It tries to tackle the three main part of a development cycle: specification/analysis, design/implementation and validation. Three main sessions have emerged from the workshop submissions. The first one was focused on setting the end users requirements for UML modeling of real-time embedded systems. The second has been focused on design and implementation techniques proposals and experiences. The third has been centered on formal techniques for the validation of the applications from their UML model.


Sequence Diagram Active Object Test Case Generation Operation Call Mercury Computer System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7 References and Pointers on Related Works

  1. M. K. Gardner, J. W.S. Liu: Analyzing stochastic fixed-priority real-time systems; in: W. Rance Cleaveland, editor, Lecture Notes in Computer Science 1579, pp. 44–58; Springer-Verlag, Berlin; 1999Google Scholar
  2. Philipp Lanchès et al.: Client/Server Architecture-Managing New Technologies for Automotive Embedded Systems-A Joint Project of Daimler-Benz & IBM; In Proc. of the 1998 International Congress on Transportation Electronics, No 98C015, pp. 111–120, Warrendale, USA. Society of Automotive Engineers, Inc.; 1998Google Scholar
  3. Jean-Philippe Babau, Jean Louis Sourrouille “Expressing Real-time Constraints in a Reflective Object Model” Control Engineering Practice Vol 6, pp 421–430.Google Scholar
  4. T. Bienmüller, W. Damm, and H. Wittke. The Statemate Verification Environment Making it real. In Proceedings of Computer Aided Verification, Chicago,2000.Google Scholar
  5. B. P. Douglass, Real-time UML: Developping efficient objects for embedded systems, Addison-Wesley, December, 1998Google Scholar
  6. B.P. Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frame-works and Patterns. Addison Wesley, 1999.Google Scholar
  7. S. Gérard, “Modélisation UML exécutable pour les systèmes de lautomobile”, PhD. Report, University of Evry-Val-dEssonne, October 2000.Google Scholar
  8. A. Lanusse, S. Gérard, and F. Terrier, “Real-Time Modeling with UML: The ACCORD Approach”, UML’98, Mulhouse, France.Google Scholar
  9. Johan Lilius and Ivan Porres Paltor. “Formalising UML state machines for model checking”. In Proceedings of UML’99, volume 1723 of LNCS,, pages 430–445,Springer Verlag, 1999.Google Scholar
  10. Johan Lilius and Ivan Porres Paltor. “vUML: a tool for verifying UML models”. In Proceedings of ASE’99, pages 255–258. IEEE Computer Society, 1999.Google Scholar
  11. Bran Selic et al., “Real-time Object-oriented Modeling”, John Wiley & Sons, Inc., ISBN: 0471599174, Feb. 1994.Google Scholar
  12. Terrier F. et al., “A Real-Time Object Model”, TOOLS EUROPE’ 96,, Paris, France, pp.127–141, 1996.Google Scholar
  13. Brian Selic, “RFP: UML Profile for Scheduling, Performance, and Time”, Object Management Group document ad/99-03-13, available through
  14. Tony Clark, Andy Evans, Robert France, Stuart Kent, and Bernard Rumpe, “Response to UML 2.0 Request for Information”, submitted by the precise UML group, available as
  15. Jim Rumbaugh and Bran Selic, “Using UML for Modeling Complex Real-Time Systems”, “White paper” available at

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • François Terrier
    • 1
  • Nikos S. Voros
    • 2
  • Udo Brockmeyer
    • 3
  1. 1.LETI/DEIN/SLA/L-LSPCEA-SaclayGif sur Yvette CedexFrance
  2. 2.Intracom S.A.PatrasGreece
  3. 3.OFFIS e.V.OldenburgGermany

Personalised recommendations