TY - GEN
T1 - Formal system-level design space exploration
AU - Knorreck, Daniel
AU - Apvrille, Ludovic
AU - Pacalet, Renaud
PY - 2010/8/30
Y1 - 2010/8/30
N2 - The paper focuses on the formal aspects of the DIPLODOCUS environment. DIPLODOCUS is a UML profile intended for the modeling and verification of real-time and embedded applications meant to be executed on complex Systems-on-Chip. Application tasks and architectural elements (e.g., CPUs, bus, memories) are described with a UML-based language, using an open-source toolkit named TTool. Those descriptions may be automatically transformed into a formal hardware and software specification. From that specification, model-checking techniques may be applied to evaluate several properties of the system, e.g., safety, schedulability, and performance properties. The approach is exemplified with an MPEG2 decoding application.
AB - The paper focuses on the formal aspects of the DIPLODOCUS environment. DIPLODOCUS is a UML profile intended for the modeling and verification of real-time and embedded applications meant to be executed on complex Systems-on-Chip. Application tasks and architectural elements (e.g., CPUs, bus, memories) are described with a UML-based language, using an open-source toolkit named TTool. Those descriptions may be automatically transformed into a formal hardware and software specification. From that specification, model-checking techniques may be applied to evaluate several properties of the system, e.g., safety, schedulability, and performance properties. The approach is exemplified with an MPEG2 decoding application.
UR - https://www.scopus.com/pages/publications/77955940055
U2 - 10.1109/NOTERE.2010.5536852
DO - 10.1109/NOTERE.2010.5536852
M3 - Conference contribution
AN - SCOPUS:77955940055
SN - 9781424470686
T3 - NOTERE'10 - 10th Annual International Conference on New Technologies of Distributed Systems
SP - 1
EP - 8
BT - NOTERE'10 - 10th Annual International Conference on New Technologies of Distributed Systems
T2 - 10th Annual International Conference on New Technologies of Distributed Systems, NOTERE'10
Y2 - 31 May 2010 through 2 June 2010
ER -