Efficient encodings for scalable exploration of cyber-physical system architectures

D Kirov, P Nuzzo… - … on Computer-Aided …, 2023 - ieeexplore.ieee.org
We present a methodology for scalable exploration of cyber-physical system architectures.
We propose a mathematical formulation of the architecture exploration problem as an …

Optimized selection of reliable and cost-effective safety-critical system architectures

P Nuzzo, N Bajaj, M Masin, D Kirov… - … on Computer-Aided …, 2019 - ieeexplore.ieee.org
We address the problem of synthesizing safety-critical embedded and cyber-physical system
architectures to minimize a cost function while guaranteeing the desired reliability. We …

TinyLink: A holistic system for rapid development of IoT applications

W Dong, B Li, G Guan, Z Cheng, J Zhang… - ACM Transactions on …, 2020 - dl.acm.org
Rapid development is essential for IoT (Internet of Things) application developers to obtain
first-mover advantages and reduce the development cost. In this article, we present TinyLink …

ArchEx: An extensible framework for the exploration of cyber-physical system architectures

D Kirov, P Nuzzo, R Passerone… - Proceedings of the 54th …, 2017 - dl.acm.org
We present ArchEx, a framework for cyber-physical system architecture exploration. We
formulate the exploration problem as a mapping problem, where" virtual" components are …

[PDF][PDF] Towards a Correct-by-Construction Design of Integrated Modular Avionics.

B Meng, J Debnath, SC Varanasi, E Manoloios… - FMCAD, 2023 - library.oapen.org
This paper presents a formal language and framework, OYSTER, to develop correct-by-
construction design of Integrated Modular Avionics (IMA). The OYSTER language is created …

Determining Distributions of Security Means for WSNs based on the Model of a Neighbourhood Watch

B Förster, P Langendörfer, T Hinze - IEEE Access, 2024 - ieeexplore.ieee.org
Neighbourhood watch is a concept allowing a community to distribute a complex security
task in between all members. Members carry out security tasks in a distributed and …

[PDF][PDF] ECHONET lite framework based on embedded component systems

F Qi, JY Jiang, H Oyama, H Nagashima… - ECTI Transactions on …, 2022 - thaiscience.info
Article information: The large number and many types of electrical equipment in modern
households pose major challenges to developers. To increase the breadth of smart homes …

[PDF][PDF] Automating System Configuration.

N Tsiskaridze, M Strange, M Mann, K Sreedhar, Q Liu… - FMCAD, 2021 - library.oapen.org
The increasing complexity of modern configurable systems makes it critical to improve the
level of automation in the process of system configuration. Such automation can also …

Demonstrating controlled change for autonomous space vehicles

A Dörflinger, M Albers, B Fiethe… - 2019 NASA/ESA …, 2019 - ieeexplore.ieee.org
Recent research discusses concepts of infield changes to overcome the drawbacks of
conventional lab-based system design processes. In this paper, we evaluate the concept of …

Smt-based synthesis of fault-tolerant architectures

K Delmas, R Delmas, C Pagetti - … 2017, Trento, Italy, September 13-15 …, 2017 - Springer
Safety-critical systems must satisfy safety requirements ensuring that catastrophic
consequences of combined component failures are kept below a certain probability …