Paper Info
Title
Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real- Time Systems
Abstract
UML is a collection of notations for capturing a software system specification. These notations have a specific syntax defined by the Object Management Group (OMG), but many of their constructs only present informal semantics. They are primarily graphical, with textual annotation. The inadequacies of standard UML as a vehicle for complete specification and implementation of real-time embedded systems has led to a variety of competing and complementary proposals. The Real-time UML profile (UML-RT), developed and standardized by OMG, defines a unified framework to express the time, scheduling and performance aspects of a system. We present in this paper a framework approach aimed at deriving a complete specification of a real-time system. Therefore, we combine two methods, a semi- formal one, UML-RT, which allows the visual modeling of a real- time system and a formal one, CSP+T, which is a design language including the specification of real-time requirements. As to show the applicability of the approach, a correct design of a real-time system with hard real time constraints by applying a set of mapping rules is obtained.
Year
Venue
Keywords
2005
IEC (Prague)
— csp+t,process algebras,unified modelling language.,real-time systems,formal software specification
Field
DocType
Citations 
Programming language,Computer science,Real-time computing,Theoretical computer science,Systems Modeling Language
Conference
6
PageRank 
References 
Authors
0.60
9
2
Name
Order
Citations
PageRank
Kawtar Benghazi Akhlaki18017.92
Manuel I. Capel25217.35