mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Semantic Analysis of Embedded System Requirements Specifications
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. IS (Embedded Systems).ORCID iD: 0000-0003-2870-2680
VGTT/Volvo AB.
2017 (English)Report (Other academic)
Abstract [en]

Due to the increasing complexity of embedded systems, early detection of soft- ware/hardware errors has become desirable. In this context, e ective yet exible speci cation methods that support rigorous analysis of embedded system requirements are needed. Current speci cation methods such as pattern-based, boilerplates normally lack meta-models for exten- sibility and exibility. In contrast, formal speci cation languages, e.g., temporal logic, Z, etc. are too mathematical to be used by the average software engineer in industry. In this paper, we propose a speci cation representation that considers thematic roles and domain knowledge that enable a deep semantic analysis of requirements. The speci cation is complemented by our constrained natural language speci cation framework, ReSA, which acts as interface to the representation. The representation that we propose is encoded in the logic-based, usually de- cidable ontology language called Description Logic. With support from the ontology reasoner, Hermit, we check for consistency and completeness of requirements. Moreover, we transform the ontology-based speci cation into Timed Computation Tree Logic formulas, to be used further in model checking system behavioral models.

Place, publisher, year, edition, pages
Västerås, Sweden: Mälardalen Real-Time Research Centre, Mälardalen University , 2017.
Series
MRTC Reports, ISSN 1404-3041
Keyword [en]
requirements specification, requirements analysis, semantics representation, event-based semantics, ontology, description logic, temporal logic
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-35390ISRN: MDH-MRTC-320/2017-1-SEOAI: oai:DiVA.org:mdh-35390DiVA: diva2:1098660
Projects
VeriSpec - Structured Specification and Automated Verification for Automotive Functional Safety
Available from: 2017-05-24 Created: 2017-05-24 Last updated: 2017-05-29Bibliographically approved

Open Access in DiVA

No full text

Other links

http://www.es.mdh.se/pdf_publications/4744.pdf

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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