Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
Buttazzo, Giorgio (1997) Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Boston, MA.
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.
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.
Geilen, Marc (2002) Formal techniques for verification of complex real-time systems. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.
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).
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.
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.
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.
Milner, Robin (1989) Communication and Concurrency. Prentice-Hall Inter-national Series in Computer Science. Prentice-Hall, Englewood Cliffs, NJ.
OMG (2003) OMG Unified Modeling Language (UML) Specification—Version 1.5. OMG document formal/2003-03-01, Object Management Group (OMG), Needham, MA.
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.
Selic, Bran and Motus, Leo (2003) Using models in real-time software design. IEEE Control Systems Magazine, 23(3).
van Bokhoven, Leo (2002) Constructive tool design for formal languages: from semantics to executing models. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.
van der Putten, Piet and Voeten, Jeroen (1997) Specification of reactive hardware/software systems. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Florescu, O., Voeten, J., Corporaal, H. (2006). Property-Preservation Synthesis for Unified Control- and Data-Oriented Models. In: Vachoux, A. (eds) Applications of Specification and Design Languages for SoCs. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-4998-9_14
Download citation
DOI: https://doi.org/10.1007/978-1-4020-4998-9_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4997-2
Online ISBN: 978-1-4020-4998-9
eBook Packages: EngineeringEngineering (R0)