Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10331974" target="_blank" >RIV/00216208:11320/16:10331974 - isvavai.cz</a>
Result on the web
<a href="https://arxiv.org/abs/1603.08636" target="_blank" >https://arxiv.org/abs/1603.08636</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4204/EPTCS.205.5" target="_blank" >10.4204/EPTCS.205.5</a>
Alternative languages
Result language
angličtina
Original language name
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
Original language description
The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design method targeting development of smart Cyber-Physical Systems (sCPS). It allows for a systematic translation of the system requirements into the system architecture expressed as an ensemble-based component system (EBCS). However, since the requirements are captured using natural language, there exists the danger of their misinterpretation due to natural language requirements' ambiguity, which could eventually lead to design errors. Thus, automation and validation of the design process is desirable. In this paper, we (i) analyze the translation process of natural language requirements into the IRM-SA model, (ii) identify individual steps that can be automated and/or validated using natural language processing techniques, and (iii) propose suitable methods.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/LD15051" target="_blank" >LD15051: Smart Cyber-Physical Systems via Ensembles of Autonomous Software Components</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
ISSN
2075-2180
e-ISSN
—
Volume of the periodical
Neuveden
Issue of the periodical within the volume
205
Country of publishing house
AU - AUSTRALIA
Number of pages
10
Pages from-to
59-68
UT code for WoS article
000390262600006
EID of the result in the Scopus database
2-s2.0-84991716606