Name
Title | ||
|---|---|---|
Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language |
Abstract | ||
|---|---|---|
The approach proposed in this paper introduces a hardware/software co-design framework for developing complex embedded systems. The method relies on formal proof of system properties at every phase of the co-design cycle. The key concept is the combined use of UML and the B language for system modeling and design, and the seamless transition from UML specifications to system descriptions in B. The final system prototype emerges from correct-by-construction subsystems described in the B language; the hardware components are translated in VHDL/SystemC, while for the software components C/C++ is used. The outcome is a formally proven correct system implementation. The efficiency of the proposed method is exhibited through the design of a case study from the telecommunication domain. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1007/s10617-005-1184-6 | Design Automation for Embedded Systems |
Keywords | Field | DocType |
co-design methodology,formal proof,integration and modeling,hardware/software co-design,formal verification,embedded system,system modeling,design methodology,software component | Unified Modeling Language,UML tool,Computer science,Electronic system-level design and verification,Formal specification,SystemC,Real-time computing,Applications of UML,Formal methods,Formal verification | Journal |
Volume | Issue | ISSN |
9 | 2 | 0929-5585 |
Citations | PageRank | References |
2 | 0.66 | 4 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nikolaos S. Voros | 1 | 78 | 24.59 |
| Colin F Snook | 2 | 53 | 11.42 |
| Stefan Hallerstede | 3 | 654 | 44.88 |
| Konstantinos Masselos | 4 | 159 | 18.12 |