The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Industrial Experiments in IMS, ATC, and SDR Projects of Property Verification Techniques
Abstract
The increasing complexity of embedded systems calls for verification techniques to make sure the systems behave properly. When it comes to safety-critical systems, this aspect is even more relevant and is now taken into consideration by certification authorities. For that matter, property verification is accepted to be done not only on the system itself but also on a representative model of the system. This chapter first introduces the different properties and how they could be expressed. Then associated modeling languages characteristics are discussed to describe the systems on which the properties can be verified. Finally, different technologies to verify the properties are presented, including some practical examples and existing tools. This last part is illustrated by several research projects such as the PRESTO ARTEMIS European project and the exoTICus System@tic Paris Region competitiveness cluster project.
Related Content
|
Subrata Tikadar, Kaushik Paul, Abhishek Mukhopadhyay.
© 2026.
26 pages.
|
|
Devanshi Shrivastava, Debanshi Chakraborty, Manjusha Pandey, Siddharth Swarup Rautray.
© 2026.
32 pages.
|
|
Harshita Gupta, Suman Suman Majumder.
© 2026.
12 pages.
|
|
Subhajit Ghosh.
© 2026.
38 pages.
|
|
Sanjib Kundu, Sourav Kayal.
© 2026.
40 pages.
|
|
Sudip Chatterjee, Pronaya Bhattacharya, Subrata Tikadar.
© 2026.
14 pages.
|
|
Chandan Kumar Singh.
© 2026.
40 pages.
|
|
|