paper-with-me

홈 › Papers

Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

2016-03-29 · Jiri Vinarek, Petr Hnetynka

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.

📄 PDF Abstract BibTeX arXiv:1603.08636

Code (0)

등록된 구현이 없습니다.

Tasks

Translation

Similar Papers 제목 키워드 기반

Collaborative Approaches to Enhancing Smart Vehicle Cybersecurity by AI-Driven Threat Detection

2024-12-31 · Syed Atif Ali, Salwa Din

The introduction sets the stage for exploring collaborative approaches to bolstering smart vehicle cybersecurity through AI-driven threat detection. As the automotive industry increasingly adopts connected and automated …

Autonomous VehiclesIntrusion Detection

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

2021-09-10 · Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias 외

We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and c…

Development of User-friendly Smart Grid Architecture

2021-08-31 · Swaroop Mishra

As systems like smart grid continue to become complex on a daily basis, emerging issues demand complex solutions that can deal with parameters in multiple domains of engineering. The complex solutions further demand a fr…

Explainable Artificial Intelligence for Smart City Application: A Secure and Trusted Platform

2021-10-31 · M. Humayn Kabir, Khondokar Fida Hasan, Mohammad Kamrul Hasan, Keyvan Ansari

Artificial Intelligence (AI) is one of the disruptive technologies that is shaping the future. It has growing applications for data-driven decisions in major smart city solutions, including transportation, education, hea…

Decision MakingExplainable artificial intelligenceExplainable Artificial Intelligence (XAI)

MDE4QAI: Towards Model-Driven Engineering for Quantum Artificial Intelligence

2021-07-14 · Armin Moin, Moharram Challenger, Atta Badii, Stephan Günnemann

Over the past decade, Artificial Intelligence (AI) has provided enormous new possibilities and opportunities, but also new demands and requirements for software systems. In particular, Machine Learning (ML) has proven us…

Code Generation