mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Specification and semantic analysis of embedded systems requirements: From description logic to temporal logic
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-5626-0587
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2870-2680
Volvo Group Trucks Technology, Gothenburg, Sweden.
2017 (English)In: Lect. Notes Comput. Sci., Springer Verlag , 2017, 332-348 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Springer Verlag , 2017. 332-348 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10469 LNCS
Keyword [en]
Description logic, Embedded systems, Event-based semantics, Ontology, Requirements analysis, Requirements specification, Thematic roles, Timed computation tree logic, Computability and decidability, Computer circuits, Data description, Forestry, Formal languages, Formal methods, Formal specification, Model checking, Natural language processing systems, Requirements engineering, Semantics, Software engineering, Specification languages, Specifications, Temporal logic, Requirements specifications
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:mdh:diva-36562DOI: 10.1007/978-3-319-66197-1_21Scopus ID: 2-s2.0-85029003286ISBN: 9783319661964 OAI: oai:DiVA.org:mdh-36562DiVA: diva2:1147614
Conference
4 September 2017 through 8 September 2017
Available from: 2017-10-06 Created: 2017-10-06 Last updated: 2017-10-06Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mahmud, NesredinSeceleanu, Cristina
By organisation
Embedded Systems
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 1 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf