SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

J Xie, W Tan, Z Yang, S Li, L Xing, Z Huang - Connection Science, 2022 - Taylor & Francis
Safety-critical cyber-physical systems (SC-CPS) have the characteristics of distributed,
heterogeneous, strong coupling of computing resources and physical resources. With the …

Next generation automotive architecture modeling and exploration for autonomous driving

B Zheng, H Liang, Q Zhu, H Yu… - 2016 IEEE computer …, 2016 - ieeexplore.ieee.org
To support emerging applications in autonomous and semi-autonomous driving, next-
generation automotive systems will be equipped with an increasing number of …

Integrating a data analytics system in automotive manufacturing: Background, methodology and learned lessons

A Dacal-Nieto, JJ Areal, V Alonso-Ramos… - Procedia Computer …, 2022 - Elsevier
Integrating and exploiting a data analytics system in manufacturing is a complex task that
involves different skills and most of the times requires to handle a brownfield scenario …

Model-driven performance evaluation and formal verification for multi-level embedded system design

D Genius, LW Li, L Apvrille - International Conference on Model …, 2017 - scitepress.org
The design methodology of an embedded system should start with a system-level
partitioning dividing functions into hardware and software. However, since this partitioning …

Model-driven design of tools for multi-domain systems with loosely coupled metamodels

B Liu, VP Betancourt, T Glock, M Kern… - 2019 IEEE …, 2019 - ieeexplore.ieee.org
The influence of Internet of Things (IoT) and connected service-oriented systems in various
application domains is increasing. Such multi-domain systems can work in collaboration to …

Formal and virtual multi-level design space exploration

LW Li, D Genius, L Apvrille - … 2017, Porto, Portugal, February 19-21, 2017 …, 2018 - Springer
With the growing complexity of embedded systems, a systematic design process and tool
are vital to help designers assure that their design meets specifications. The design of an …

[PDF][PDF] System behavior models: a survey of approaches

SR Ruppel - 2016 - core.ac.uk
Human designed systems are growing in complexity, with increasing numbers of
components and behavior combinations, resulting in more emergent and unintended …

Use cases and success stories of a data analytics system in an automotive paint shop

A Dacal-Nieto, JJ Areal… - … on Computing and …, 2020 - ieeexplore.ieee.org
Manufacturing companies are currently developing transformation plans from the 3.0
paradigm, based on automation, robotics and Lean, to the 4.0 approach, based on …

[PDF][PDF] Virtual prototyping of automotive systems: Towards multi-level design space exploration

L Li, L Apvrille, D Genius - Conference on Design and …, 2016 - perso.telecom-paristech.fr
The design methodology of an embedded system should start with a system-level design
space exploration dividing functions into hardware and software. However, since this …

Optimization-based robust architecture design for autonomous driving system

Y Imanishi, A Collin, A Siddiqi, E Rebentisch… - 2019 - sae.org
With the recent advancement in sensing and controller technologies architecture design of
an autonomous driving system becomes an important issue. Researchers have been …