Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
7 References and Pointers on Related Works
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; 1999
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.; 1998
Jean-Philippe Babau, Jean Louis Sourrouille “Expressing Real-time Constraints in a Reflective Object Model” Control Engineering Practice Vol 6, pp 421–430.
T. Bienmüller, W. Damm, and H. Wittke. The Statemate Verification Environment Making it real. In Proceedings of Computer Aided Verification, Chicago,2000.
B. P. Douglass, Real-time UML: Developping efficient objects for embedded systems, Addison-Wesley, December, 1998
B.P. Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frame-works and Patterns. Addison Wesley, 1999.
S. Gérard, “Modélisation UML exécutable pour les systèmes de lautomobile”, PhD. Report, University of Evry-Val-dEssonne, October 2000.
A. Lanusse, S. Gérard, and F. Terrier, “Real-Time Modeling with UML: The ACCORD Approach”, UML’98, Mulhouse, France.
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.
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.
Bran Selic et al., “Real-time Object-oriented Modeling”, John Wiley & Sons, Inc., ISBN: 0471599174, Feb. 1994.
Terrier F. et al., “A Real-Time Object Model”, TOOLS EUROPE’ 96,, Paris, France, pp.127–141, 1996.
Brian Selic, “RFP: UML Profile for Scheduling, Performance, and Time”, Object Management Group document ad/99-03-13, available through http://www.omg.org/techprocess/meetings/schedule/-UML_Profile_for_Scheduling_RFP.html
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 http://www.cs.york.ac.uk/puml/papers/RFIResponse.PDF
Jim Rumbaugh and Bran Selic, “Using UML for Modeling Complex Real-Time Systems”, “White paper” available at http://www.objectime.com/otl/-technical/umlrt.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Terrier, F., Voros, N.S., Brockmeyer, U. (2000). Specification, Implementation, and Validation of Object-Oriented Embedded Systems. In: Goos, G., Hartmanis, J., van Leeuwen, J., Malenfant, J., Moisan, S., Moreira, A. (eds) Object-Oriented Technology. ECOOP 2000. Lecture Notes in Computer Science, vol 1964. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44555-2_13
Download citation
DOI: https://doi.org/10.1007/3-540-44555-2_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41513-8
Online ISBN: 978-3-540-44555-5
eBook Packages: Springer Book Archive