Back to Search
Start Over
Formal verification of OIL component specifications using mCRL2.
- Source :
-
International Journal on Software Tools for Technology Transfer . Jun2022, Vol. 24 Issue 3, p441-472. 32p. - Publication Year :
- 2022
-
Abstract
- To aid in making software bug-free, several high-tech companies are moving from coding to modelling. In some cases model checking techniques are explored or have already been adopted to get more value from these models. This also holds for Canon Production Printing, where the language OIL was developed for modelling control-software components. In this paper, we present OIL and give its semantics. We define a translation from OIL to mCRL2 to enable the use of model checking techniques. Moreover, we discuss validity requirements on OIL component specifications and show how these can be formalised and verified using model checking. To test the feasibility of these techniques, we apply them to two models of systems used in production. [ABSTRACT FROM AUTHOR]
- Subjects :
- *PETROLEUM
*STORAGE & moving industry
*SEMANTICS
Subjects
Details
- Language :
- English
- ISSN :
- 14332779
- Volume :
- 24
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- International Journal on Software Tools for Technology Transfer
- Publication Type :
- Academic Journal
- Accession number :
- 156802956
- Full Text :
- https://doi.org/10.1007/s10009-022-00658-y