[HTML][HTML] A CPS-based simulation platform for long production factories

V Iannino, V Colla, J Denker, M Göttsche - Metals, 2019 - mdpi.com
Production technology in European steel industry has reached such a level, that significant
improvements can only be reached by through process optimization strategies instead of …

Quantitative performance evaluation of uncertainty-aware hybrid AADL designs using statistical model checking

Y Bao, M Chen, Q Zhu, T Wei, F Mallet… - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
The hybrid architecture analysis and design language (AADL) has been proposed to model
the interactions between embedded control systems and continuous physical environment …

[HTML][HTML] Deep-learning-based cyber-physical system framework for real-time industrial operations

V Maru, S Nannapaneni, K Krishnan, A Arishi - Machines, 2022 - mdpi.com
Automation in the industry can improve production efficiency and human safety when
performing complex and hazardous tasks. This paper presented an intelligent cyber …

Model-based design and automated validation of ARINC653 architectures using the AADL

J Hugues, J Delange - Cyber-Physical System Design from an Architecture …, 2017 - Springer
Abstract Safety-Critical Systems as used in avionics systems are now extremely software-
reliant. As these systems are life-or mission-critical, software must be carefully designed and …

An automatic transformation method from AADL reliability model to CTMC

C Yuan, K Wu, G Chen, Y Mo - 2021 IEEE International …, 2021 - ieeexplore.ieee.org
AADL is a semi-formal architecture modeling language for the embedded field. Continuous
Time Markov Chain (CTMC) is a formal model for reliability evaluation. In the process of …

Applying AADL to realize embedded control systems for coordination of multiple low-cost underwater drones

HA Pham, T Soriano… - OCEANS 2019-Marseille, 2019 - ieeexplore.ieee.org
The goal of this study is to realize a component architecture of embedded control systems for
coordination of UUV based on a Model Driven Engineering approach. We firstly have …

[PDF][PDF] An Architecture-Centric Process for MILS Development.

J Delange, MY Nam, PH Feiler, W Klieber - MILS@ HiPEAC, 2016 - researchgate.net
Safety-critical embedded systems are now software-reliant and evolving at an incredible
pace. With the emerging Internet of Things (IoT) ecosystem, these systems are now …

Architecture-led diagnosis and verification of a stepper motor controller

PH Feiler, C Weinstock, JB Goodenough… - 8th European Congress …, 2016 - hal.science
This paper discussed an architecture-led approach to diagnosing time sensitive issues with
a stepper motor controller that manages fuel flow of an engine. A real engine control system …

Model-based design and automated validation of ARINC653 architectures

J Hugues, J Delange - 2015 International Symposium on Rapid …, 2015 - ieeexplore.ieee.org
Safety-Critical Systems as used in avionics systems are now extremely software-reliant. As
these systems are life-or mission-critical, software must be carefully designed and certified …

[PDF][PDF] COMPUTATIONAL INTELLIGENCE IN INDUSTRIAL OPERATIONS

VK Maru - 2022 - soar.wichita.edu
Computational intelligence can improve the efficiency and performance of various industrial
systems. Industry 4.0 shows the rise in methods that provide (such as the Internet of Things …