The Community for Technology Leaders
Rapid System Prototyping, IEEE International Workshop on (2001)
Monterey, California
June 25, 2001 to June 27, 2001
ISBN: 0-7695-1206-2
pp: 0090
Dan Regep , CS TELECOM
Fabrice Kordon , Université P. & M. Curie
ABSTRACT
Abstract : We present LfP : a specification Language for rapid Prototyping of embedded concurrent systems. LfP is a graphical coordination language providing facilities of an Architecture Description Language (ADL). LfP can be linked to an UML-based methodology. It aims to provide a UML description with structured information enabling formal verification and automatic generation of distributed programs. To do so, we inspired LfP from principles stated in ODP (computational, engineering and technological viewpoints).
INDEX TERMS
Modelling of embedded distributed systems, Formal verification, Automatic distributed program generation, UML extensions, ODP.
CITATION
Dan Regep, Fabrice Kordon, "LfP : A Specification Language for Rapid Prototyping of Concurrent Systems", Rapid System Prototyping, IEEE International Workshop on, vol. 00, no. , pp. 0090, 2001, doi:10.1109/IWRSP.2001.933844
93 ms
(Ver 3.3 (11022016))