Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/LD15051" target="_blank" >LD15051: Chytré kyber-fyzikální systémy realizované pomocí ansámblů autonomních softwarových komponent</a><br>
Návaznosti
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
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
ISSN
2075-2180
e-ISSN
—
Svazek periodika
Neuveden
Číslo periodika v rámci svazku
205
Stát vydavatele periodika
AU - Austrálie
Počet stran výsledku
10
Strana od-do
59-68
Kód UT WoS článku
000390262600006
EID výsledku v databázi Scopus
2-s2.0-84991716606