The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Development of Automated Systems using Proved B Patterns
|
|
Author(s): Olfa Mosbahi (Tunis El Manar University, Tunisia), Mohamed Khalgui (Tunis El Manar University, Tunisia)and Zhiwu Li (Xidian University, China)
Copyright: 2013
Pages: 15
Source title:
Embedded Computing Systems: Applications, Optimization, and Advanced Design
Source Author(s)/Editor(s): Mohamed Khalgui (Xidian University, China), Olfa Mosbahi (University of Carthage, Tunisia)and Antonio Valentini (O3neida Europe, Belgium)
DOI: 10.4018/978-1-4666-3922-5.ch007
Purchase
|
Abstract
This chapter proposes an approach for reusing specification patterns for the development of automated systems composed of two components: the controller and the controlled parts. The first is a software component controlling the second one that models the physical device and its environment. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a specification pattern means instantiating it and the proofs associated. This chapter shows through a case study how to define specification patterns in Event-B, how to reuse them, and also how to reuse the proofs associated with specification patterns.
Related Content
|
Babita Srivastava.
© 2024.
21 pages.
|
|
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur.
© 2024.
27 pages.
|
|
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju.
© 2024.
24 pages.
|
|
Neeta Baporikar.
© 2024.
23 pages.
|
|
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman.
© 2024.
35 pages.
|
|
Charu Banga, Farhan Ujager.
© 2024.
24 pages.
|
|
Munir Ahmad.
© 2024.
27 pages.
|
|
|