Advertisement

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

  • Sébastien Gerard
  • Alexandre David
  • François Terrier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2323)

Abstract

This workshop is the third one of a series of workshops which 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.

Two main common issues have emerged from the workshop submissions The first one developed in the morning of the workshop was focused on real-time features specification of real-time embedded systems. The afternoon of the workshop was then dedicated to component modeling issues when targeting real-time embedded system.

Keywords

Temporal Logic Embed System Virtual Timer Lucent Technology Live Sequence Chart 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

Contribution Papers

  1. 1.
    J.-P. Babau, A. Alkhodre, A development method for PROtotyping embedded SystEms by using UML and SDL (PROSEUS)-L3I, INSA Lyon-FRANCE SubmittedPapers/A development method for PROtotyping embedded SystEms by using UML and SDL.docGoogle Scholar
  2. 2.
    R. Hamouche, B. Miramond, B. Djafri, Model J: Component-Based Modeling for Embedded Systems-LaMI / Univ Evry Val d’Essonne-FRANCE SubmittedPapers/ModelJ-Component-based Modeling for Embedded Systems.docGoogle Scholar
  3. 3.
    V. del Bianco, L. Lavazza, M. Mauri, A classification of real-time specifications complexity-CEFRIEL and Politecnico di Milano (DESS-ITEA project)-ITALY SubmittedPapers/A Classification of RT specification complexity.pdfGoogle Scholar
  4. 4.
    V. del Bianco, L. Lavazza, M. Mauri, An application of the DESS modeling approach: The Car Speed Regulator-CEFRIEL and Politecnico di Milano (DESS-ITEA project)-ITALY SubmittedPapers/AnApplicationOfDESS.pdfGoogle Scholar
  5. 5.
    G. Vidal-Naquet and H.G. Mendelbaum, Validation of Temporal-Component Based Embedded Systems-SupElec; Jerusalem College of Technology (Israel) & IUT Versailles / Univ Paris V-FRANCE SubmittedPapers/Validation of Tempo ral-Component based Embedded Systems.docGoogle Scholar
  6. 6.
    M.-A. PERALDI-FRATI, C. ANDRE, J.-P. RIGAULT, Modeling a Speed Regulator System with “Synchronous” UML: A case Study-Laboratoire d’Informatique, Signaux et Systèmes (I3S) University of Nice Sophia Antipolis, and CNRS UMR 6070, France SubmittedPapers/Modeling a Speed Regulator System with Synchronous UML.docGoogle Scholar
  7. 7.
    O. Aldawoud, A. Bader, Aspect-Oriented Modeling to Automate the Implementation and Validation of Concurrent Software Systems-Lucent Technologies and Dr. Elrad Tzila-IIT Concurrent Systems Group SubmittedPapers/AOMtoAutomateImplementationAndValidationOfCOnurrent SoftwareSystems.docGoogle Scholar
  8. 8.
    Y Barbaix, S. Van Baelen and K. De Vlaminck, Handling Time Constraints with Virtual Timers-Dept. of Computer Science, K.U.Leuven, Belgium SubmittedPapers/Handling TimingConstraints With Virtual Timers.pdfGoogle Scholar
  9. 9.
    D. Urting, S. Van Baelen and Y Berbers, Embedded Software using Components and Contracts-Dept. Of Computer Science, K.U. Leuven, Belgium SubmittedPapers/Embedded Software using Components and Contracts.docGoogle Scholar
  10. 10.
    I. Oliver, An Example of Validation of Embedded System Models Described in UML using Rate Monotonic Analysis-Nokia Research Center Itämerenkatu 11-13 Helsinki, Finland SubmittedPapers/AnExampleOfValidationOfEmbeddedSystemModelsDescribedIn UMLLusingRMA.psGoogle Scholar
  11. 11.
    T. Amnell, A. David, E. Fersman, P. Pettersson, W. Yi and M. O. Möller, Tools for Real-Time UML: Formal Verification and Code Synthesis-Dpt of Information Technology from Uppsala Univ. and Dpt of Computer Science-Aarhus Univ.../ReceiptPaper/ToolsForRTUML-FormalVerificationAndCodeSynthesis.pdfGoogle Scholar
  12. 12.
    U. Brockmeyer, B. Josko, I. Schinz, J. Klse and B. Westphal, Towards Formal Verification Of Rhapsody UML Designs-OSC, OFFIS, Uni. Oldenburg. SubmittedPapers/TowardsFormalVerificationOfRhaspodyUML_Design.pdfGoogle Scholar

Papers about Real-Time Specification

  1. 1.
    A. Alhodre, J-P Babau, J. Schwarz, “Modeling of real-time embedded systems by using SDL” internal search rapport, L3i laboratory, INSA Lyon, April 2001.Google Scholar
  2. 2.
    R. Alur and T.A. Henzinger. “Logics and models of real time: a survey”, J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, LNCS vol. 600, pages 74–106. Springer-Verlag, 1992CrossRefGoogle Scholar
  3. 3.
    C. André. “Representation and Analysis of Reactive Behaviors: A Synchronous Approach” IEEE-SMC Computational Engineering in Systems Applications (CESA), Lille (F), July 1996, pp 19–29.Google Scholar
  4. 4.
    C. André, M.A. Peraldi-Frati, J.P. Rigault “Scenario and properties checking of real-time systems using synchronous approach” IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2001, Magdeburg, Germany, May, 2–4, 2001, pp 438–444.Google Scholar
  5. 5.
    J.-P. Babau, J. L. Sourrouille “Expressing Real-time Constraints in aReflective Object Model” Control Engineering Practice Vol 6, pp 421–430.Google Scholar
  6. 6.
    B.P. Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns. Addison Wesley, 1999.Google Scholar
  7. 7.
    S. Gérard, “Modélisation UML exécutable pour les systèmes de l’automobile”, PhD. Report, University of Evry-Val-d’Essonne, October 2000.Google Scholar
  8. 8.
    G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin, Aspect-Oriented Programming. In Proceedings of ECOOP’ 97. LNCS 1241. Springer-Verlag, pp. 220–242.Google Scholar
  9. 9.
    A. Lanusse, S. Gérard, and F. Terrier, “Real-Time Modeling with UML: The ACCORD Approach”, UML”98, Mulhouse, France.Google Scholar
  10. 10.
    P. 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, 1998.Google Scholar
  11. 11.
    L. Lavazza, “An introduction to the DESS approach to the specification of real-time software”, CEFRIEL report, April 2001.Google Scholar
  12. 12.
    H.G. Mendelbaum, Introduction to a CAD object-oriented method for the development of real-time embedded system. 1st Israeli-IEEE conf. On software engineering, Herzlya (1986)Google Scholar
  13. 13.
    B. Selic et al., “Real-time Object-Oriented Modeling”, John Wiley & Sons, Inc., ISBN: 0471599174, Feb. 1994.Google Scholar
  14. 14.
    B. Selic, J. Rumbaugh “Using UML for Modeling Complex Real-Time Systems”, Mars 1998 http://www.objectime.com/otl/technical/umlrt.html
  15. 15.
    F Terrier and al., “A Real-Time Object Model”, TOOLS EUROPE’ 96, Paris, France, pp. 127–141, 1996.Google Scholar
  16. 16.
    OMG UML v.1.3 specification, available as http://www.omg.org/cgi-bin/doc?ad/99-0 6-08.pdf
  17. 17.
    UML™Profile for Action Semantics for the UML”, Object Management Group document ad/98-11-01. See answers at: http://www.kc.com/as_site/
  18. 18.
    UML™Profile for Scheduling, Performance, and Time-ad/2001-06-14.Google Scholar
  19. 19.
    J. Rumbaugh and B. Selic, “Using UML for Modeling Complex Real-Time Systems”, “White paper” available at http://www.objectime.com/otl/technical/umlrt.pdf

Papers about Components Issues

  1. 1.
    B. Djafri, R. Hamouche, J. Benzakki: “Object Oriented Modeling for System Design”, Proc. of Information Systems Analysis and Synthesis (ISAS’99), pp. 307–313, Orlando, Fl, July 1999.Google Scholar
  2. 2.
    R. Hamouche, B. Miramond, B. Djafri, J. Benzakki, “ModelJ: An Embedded Design Methodology ”, Research Report RR 60-2001, University of Evry, March 2001.Google Scholar
  3. 3.
    C. Szyperski. “Component Software: Beyond Object-Oriented Programming”, Addison-Wesley, 1999.Google Scholar
  4. 4.
    SEESCOA, “Working Definition of Components”, Deliverable D 1.4, March 2000Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Sébastien Gerard
    • 1
  • Alexandre David
    • 2
  • François Terrier
    • 1
  1. 1.CEA/SaclayCEA-LIST/DTSI/SLA/L-LSPGif sur Yvette CedexFrance
  2. 2.Department of Computer SystemsUppsala UniversityUppsalaSweden

Personalised recommendations