Formal requirements modeling for cyber-physical systems engineering: An integrated solution based on FORM-L and Modelica

D Bouskela, A Falcone, A Garro, A Jardin… - Requirements …, 2022 - Springer
The increasing complexity of cyber-physical systems (CPSs) makes their design,
development and operation extremely challenging. Due to the nature of CPS that involves …

A user-centric computer-aided verification process in a virtuality-reality continuum

V Romero, R Pinquié, F Noël - Computers in Industry, 2022 - Elsevier
Although companies systematically strive for a full digitalisation of their products and their
processes, the design phase shows that the quality of models is very unequal. Indeed …

An integrated framework for traceability and impact analysis in requirements verification of cyber–physical systems

A Mengist, L Buffoni, A Pop - Electronics, 2021 - mdpi.com
In the field of model-based design of Cyber–Physical Systems (CPS), seamless traceability
of the process, from requirements to models to simulation results, is becoming increasingly …

Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation

AM Uhrmacher, P Frazier, R Hähnle, F Klügl… - ACM Transactions on …, 2024 - dl.acm.org
Simulation has become, in many application areas, a sine qua non. Most recently, COVID-
19 has underlined the importance of simulation studies and limitations in current practices …

Modeling of system properties: Research challenges and promising solutions

A Garro, A Tundis - 2015 IEEE International Symposium on …, 2015 - ieeexplore.ieee.org
Modeling of system properties deals with formally expressing constraints and requirements
that influence and determine the structure and behavior of a system. System Property …

Towards a Systems Engineering Ontology Stack

J Gregory, A Salado - INCOSE International Symposium, 2024 - Wiley Online Library
Abstract Semantic Web Technologies (SWTs) provide an approach to the structuring and
understanding of data. SWTs utilize ontologies, reasoners, and query languages to structure …

On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution

A Garro, A Tundis, D Bouskela, A Jardin… - 2016 IEEE …, 2016 - ieeexplore.ieee.org
Modeling and Simulation methods, tools and techniques aim at supporting the different
phases of the lifecycle of modern systems, going from requirements analysis to system …

Spacecraft Test and Evaluation using Semantic Web Technologies

JR Gregory, A Salado, L Hoag, B Jones… - AIAA SCITECH 2024 …, 2024 - arc.aiaa.org
One area of digital engineering that has received significant attention in recent years is the
digital thread. In particular, seamless traceability from requirements through models to …

A modelling & simulation based engineering approach for socio-cyber-physical systems

T Nguyen - 2017 IEEE 14th International Conference on …, 2017 - ieeexplore.ieee.org
Today, most large and complex systems such as aircrafts or power grids integrate physical
and human aspects with computing and networking, and therefore constitute so-called socio …

[PDF][PDF] Heterogenous system modelling in support of incremental development

R Hällqvist, J Naeser, J Wallén Axehill… - Proceedings of the 33rd …, 2022 - icas.org
Today, virtually all heterogeneous systems are developed with the help of advanced
modelling applications supported by a multitude of simulators and test stations. At the same …