Advertisement

Property-Preservation Synthesis for Unified Control- and Data-Oriented Models

  • Oana Florescu
  • Jeroen Voeten
  • Henk Corporaal

Keywords

Physical Time Label Transition System Observable Property Object Management Group Schedulability Analysis 
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

  1. Amnell, Tobias, Fersman, Elena, Mokrushin, Leonid, Pettersson, Paul, and Yi, Wang (2003) TIMES: a tool for schedulability analysis and code generation of real-time systems. In: 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS) 2003.Google Scholar
  2. Buttazzo, Giorgio (1997) Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Boston, MA.MATHGoogle Scholar
  3. Florescu, Oana, Voeten, Jeroen, and Corporaal, Henk (2004a) A unified model for analysis of real-time properties. In: 1st International Symposium on Leveraging Applications of Formal Methods (ISoLa) 2004.Google Scholar
  4. Florescu, Oana, Voeten, Jeroen, Huang, Jinfeng, and Corporaal, Henk (2004b) Error estimation in model-driven development for real-time software. In: Forum on Specification & Design Languages (FDL) 2004.Google Scholar
  5. Geilen, Marc (2002) Formal techniques for verification of complex real-time systems. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.Google Scholar
  6. Huang, Jinfeng, Voeten, Jeroen, and Geilen, Marc (2003a) Real-time property preservation in approximations of timed systems. In: 1st ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE’2003).Google Scholar
  7. Huang, Jinfeng, Voeten, Jeroen, Ventevogel, Andre, and van Bokhoven, Leo (2003b) Platform-independent design for embedded real-time systems. In: Forum on Specification & Design Languages (FDL) 2003.Google Scholar
  8. Huang, Jinfeng, Voeten, Jeroen, Florescu, Oana, van der Putten, Piet, and Corporaal, Henk (2005) Advances in Design and Specification Languages for SoCs (Best of FDL’04), chapter Predictability in real-time system development. Kluwer Academic Publishers, Boston, MA.Google Scholar
  9. Miller, Joaquin, Mukerji, Jishnu, et al. (2001) Model driven architecture (MDA. Technical report, OMG document ormsc/2001-07-01, Object Management Group (OMG), Needham, MA.Google Scholar
  10. Milner, Robin (1989) Communication and Concurrency. Prentice-Hall Inter-national Series in Computer Science. Prentice-Hall, Englewood Cliffs, NJ.MATHGoogle Scholar
  11. OMG (2003) OMG Unified Modeling Language (UML) Specification—Version 1.5. OMG document formal/2003-03-01, Object Management Group (OMG), Needham, MA.Google Scholar
  12. OMG (2005) UML Profile for Schedulability, Performance, and Time Specification—Version 1.1. OMG document formal/2005-01-02, Object Management Group (OMG), Needham, MA.Google Scholar
  13. Selic, Bran and Motus, Leo (2003) Using models in real-time software design. IEEE Control Systems Magazine, 23(3).Google Scholar
  14. van Bokhoven, Leo (2002) Constructive tool design for formal languages: from semantics to executing models. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.Google Scholar
  15. van der Putten, Piet and Voeten, Jeroen (1997) Specification of reactive hardware/software systems. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.Google Scholar

Copyright information

© Springer 2006

Authors and Affiliations

  • Oana Florescu
    • 1
  • Jeroen Voeten
    • 2
  • Henk Corporaal
    • 3
  1. 1.Eindhoven University of Technology and the Embedded Systems InstituteThe Netherlands
  2. 2.Eindhoven University of Technology and the Embedded Systems InstituteThe Netherlands
  3. 3.Eindhoven University of Technology and the Embedded Systems InstituteThe Netherlands

Personalised recommendations