A toolset for the specification and verification of embedded systems
Author | Rebaiaia, Mohamed Larbi |
Author | Jaam, Jihad Mohamad |
Author | Benmohamed, Mohamed |
Author | Hasnah, Ahmad |
Available date | 2024-03-20T01:55:09Z |
Publication Date | 2003 |
Publication Name | Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications |
Resource | Scopus |
Abstract | Because of many malfunctions of some critical real-time systems (Pentium bug, Ariane lance rocket), which have caused life and billion dollars loss, computer aided formal methods have been developed and successfully applied for the debugging and the verification of hardware/software. The cost of correction of a hardware/software bug is huge enough to justify high expenses to develop more and more verification techniques to safeguard investments. Present software verification technology can certainly be useful but is yet too limited to cope with the formidable challenge caused by the fast development of the technology essentially the embarked one. In this paper, we underline the various features of a tool based on four different systems: a specification, a simulation, a verification and a code-generation models. The ABP protocol is introduced as an application test. |
Language | en |
Publisher | IEEE |
Subject | Real time systems Rewriting logic Simulation Temporal logic UML Verification |
Type | Conference Paper |
Pagination | 1539-1545 |
Volume Number | 4 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
This item appears in the following Collection(s)
-
Computer Science & Engineering [2284 items ]