iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/3-540-47853-1_6
Specification, Implementation, and Validation of Object-Oriented Embedded Systems | SpringerLink
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
  • First Online:
Object-Oriented Technology (ECOOP 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2323))

Included in the following conference series:

  • 270 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

Contribution Papers

  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.doc

    Google Scholar 

  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.doc

    Google Scholar 

  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.pdf

    Google Scholar 

  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.pdf

    Google Scholar 

  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.doc

    Google Scholar 

  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.doc

    Google Scholar 

  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.doc

    Google Scholar 

  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.pdf

    Google Scholar 

  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.doc

    Google Scholar 

  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.ps

    Google Scholar 

  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.pdf

    Google Scholar 

  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.pdf

    Google Scholar 

Papers about Real-Time Specification

  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. 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, 1992

    Chapter  Google Scholar 

  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. 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. 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. B.P. Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns. Addison Wesley, 1999.

    Google Scholar 

  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. 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. A. Lanusse, S. Gérard, and F. Terrier, “Real-Time Modeling with UML: The ACCORD Approach”, UML”98, Mulhouse, France.

    Google Scholar 

  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. L. Lavazza, “An introduction to the DESS approach to the specification of real-time software”, CEFRIEL report, April 2001.

    Google Scholar 

  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. B. Selic et al., “Real-time Object-Oriented Modeling”, John Wiley & Sons, Inc., ISBN: 0471599174, Feb. 1994.

    Google Scholar 

  14. B. Selic, J. Rumbaugh “Using UML for Modeling Complex Real-Time Systems”, Mars 1998 http://www.objectime.com/otl/technical/umlrt.html

  15. F Terrier and al., “A Real-Time Object Model”, TOOLS EUROPE’ 96, Paris, France, pp. 127–141, 1996.

    Google Scholar 

  16. OMG UML v.1.3 specification, available as http://www.omg.org/cgi-bin/doc?ad/99-0 6-08.pdf

  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. UML™Profile for Scheduling, Performance, and Time-ad/2001-06-14.

    Google Scholar 

  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. 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. 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. C. Szyperski. “Component Software: Beyond Object-Oriented Programming”, Addison-Wesley, 1999.

    Google Scholar 

  4. SEESCOA, “Working Definition of Components”, Deliverable D 1.4, March 2000

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CEA/Saclay, CEA-LIST/DTSI/SLA/L-LSP, F-91191, Gif sur Yvette Cedex, France

    Sébastien Gerard & François Terrier

  2. Department of Computer Systems, Uppsala University, Box 325, 751 05, Uppsala, Sweden

    Alexandre David

Authors
  1. Sébastien Gerard
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexandre David
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. François Terrier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CERN, 31R-015, 1211, Genève, Switzerland

    Ákos Frohner

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gerard, S., David, A., Terrier, F. (2002). Specification, Implementation, and Validation of Object-Oriented Embedded Systems. In: Frohner, Á. (eds) Object-Oriented Technology. ECOOP 2001. Lecture Notes in Computer Science, vol 2323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47853-1_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-47853-1_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43675-1

  • Online ISBN: 978-3-540-47853-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation