Show simple item record

AuthorRebaiaia, Mohamed Larbi
AuthorJaam, Jihad Mohamad
AuthorBenmohamed, Mohamed
AuthorHasnah, Ahmad
Available date2024-03-20T01:55:09Z
Publication Date2003
Publication NameProceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
ResourceScopus
URIhttp://hdl.handle.net/10576/53285
AbstractBecause 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.
Languageen
PublisherIEEE
SubjectReal time systems
Rewriting logic
Simulation
Temporal logic
UML
Verification
TitleA toolset for the specification and verification of embedded systems
TypeConference Paper
Pagination1539-1545
Volume Number4
dc.accessType Abstract Only


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record