| 1. |
- Mahmud, Nesredin, et al.
(författare)
-
Specification and semantic analysis of embedded systems requirements : From description logic to temporal logic
- 2017
-
Ingår i: Lect. Notes Comput. Sci.. - Cham : Springer Verlag. - 9783319661964 ; , s. 332-348
-
Konferensbidrag (refereegranskat)abstract
- Due to the increasing complexity of embedded systems, early detection of software/hardware errors has become desirable. In this context, effective yet flexible specification methods that support rigorous analysis of embedded systems requirements are needed. Current specification methods such as pattern-based, boilerplates normally lack meta-models for extensibility and flexibility. In contrast, formal specification languages, like temporal logic, Z, etc., enable rigorous analysis, however, they usually are too mathematical and difficult to comprehend by average software engineers. In this paper, we propose a specification representation of requirements, which considers thematic roles and domain knowledge, enabling deep semantic analysis. The specification is complemented by our constrained natural language specification framework, ReSA, which acts as the interface to the representation. The representation that we propose is encoded in description logic, which is a decidable and computationally-tractable ontology language. By employing the ontology reasoner, Hermit, we check for consistency and completeness of requirements. Moreover, we propose an automatic transformation of the ontology-based specifications into Timed Computation Tree Logic formulas, to be used further in model checking embedded systems.
|
|
| 2. |
- Rodriguez-Navas, Guillermo, et al.
(författare)
-
Automated specification and verification of functional safety in heavy-vehicles : The verispec approach
- 2014
-
Ingår i: Proceedings - Design Automation Conference. - New York, NY, USA : ACM. - 9781479930173
-
Konferensbidrag (refereegranskat)abstract
- ISO 26262 is the new standard for automotive functional safety. This standard identies major process steps across a large number of system stages as well as safety-related artifacts required as input and output of these steps. The VeriSpec project intends to identify the main challenges for the adoption of ISO 26262 by the heavy-vehicle industry and to provide useful and industrially relevant components (methods, tools etc.) required by the standard. The project work targets two main research goals: (i) requirement formalization support, including a usable front-end for specifying requirements by using patterns, and (ii) formal analysis of realizations in form of architectural models at various levels of abstraction, by model-checking the formal representations of the latter. In this paper, we present the current challenges facing industry and justifying VeriSpec, together with a preliminary roadmap for the research.
|
|
