Title | ||
---|---|---|
A pattern-based method for refining and formalizing informal specifications in critical control systems |
Abstract | ||
---|---|---|
Processing specifications is an issue of crucial importance when developing critical complex systems. In particular, establishing rigorous specifications broadly impacts the subsequent engineering phases. This paper discusses a refinement technique for processing informal specifications expressed in a literal shape, with the aim to generate formal specifications appropriate to automatic processing. The developed technique carries out an iterative process which relies on a set of basic refinement patterns that we have established, and ends up with a formalization step which actually generates logical CTL* formulas. Furthermore, the method implements traceability facilities, which allow for a tidy backtracking of the whole process. The concepts introduced to set up the various mechanisms are discussed and a case study featuring an embedded railway control system is used to illustrate our technique. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.jides.2015.11.001 | Journal of Innovation in Digital Ecosystems |
Keywords | Field | DocType |
Requirement engineering,Requirement refinement,Specification,Formalizing,Critical control systems,Verification & validation | Complex system,Software engineering,Systems engineering,Verification and validation,Iterative and incremental development,Computer science,Requirements engineering,Formal specification,Control system,Backtracking,Traceability | Journal |
Volume | Issue | ISSN |
2 | 1 | 2352-6645 |
Citations | PageRank | References |
1 | 0.35 | 28 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohamed Ghazel | 1 | 59 | 11.13 |
jing yang | 2 | 1 | 0.35 |
El-Miloudi El-Koursi | 3 | 9 | 3.65 |