Name
Abstract | ||
|---|---|---|
To assess the state of the art, we compare the results of applying eight different tools for the development of embedded software to a common problem: the specification of a software module controlling comfort electronic functionality. The applied tools are (ARTiSAN RealTime Studio, ASCET-SD, AutoFOCUS, MATLAB/StateFlow, Rose RealTime, Rhapsody in MicroC, Telelogic Tau, Trice Tool). Besides providing the abovementioned support, these tools for embedded systems additionally offer support • to describe the system using hierarchic views • to use message/signal-based communication, including timing aspects • to check the model for inconsistencies, mainly on the syntactic level • to simulate the system at the level of the description . There are, however, significant differences between the offered functionalities, generally related to the application domain the tool is targeting. They differ concerning the level of abstraction from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by object communicating by method call. Furthermore, tools generally support only either event-driven or time-driven models, focusing either on the reactive or the control part of an embedded system without integrating those application domains. Besides the underlying model, they also differ concerning the offered process support, especially concerning the consistency mechanism. Generally, all tools support syntactic consistency (e.g, well-formedness of trigger conditions). Tools do generally not support semantic consistency with few exceptions exist (e.g., a non-determinism check, checking whether a sequence diagram can be executed by state machines).1 |
Year | Venue | Keywords |
|---|---|---|
2004 | Modellierung | model based development |
Field | DocType | Citations |
Sequence diagram,Abstraction,Embedded software,Software engineering,Computer science,Model-based design,Finite-state machine,Application domain,Stateflow,Syntax | Conference | 0 |
PageRank | References | Authors |
0.34 | 1 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bernhard Schätz | 1 | 604 | 94.43 |
| Jan Romberg | 2 | 24 | 4.51 |
| Oscar Slotosch | 3 | 173 | 19.28 |
| Martin Strecker | 4 | 0 | 0.34 |