Although comprehensive knowledge of cyber-physical systems (CPS) is becoming a must
for researchers, practitioners, system designers, policy makers, system managers, and …

This paper describes a design flow and supporting tools to significantly improve the design
and verification of complex cyber-physical systems. We focus on system architecture models …

Arguments about the safety, security, and correctness of a complex system are often made in
the form of an assurance case. An assurance case is a structured argument, often …

Масштабы современных комплексов бортового авиационного оборудования таковы,
что их проектирование становится невозможным без привлечения средств …

LAMP is an introspective analysis and processing framework for AADL. With LAMP,
exploration, verification, transformation or any other processing rules are directly embedded …

METASAT is a recently started project (January 2023) in the Horizon Europe programme, in
the SPACE call, coordinated by the Barcelona Supercomputing Center (BSC). METASAT …

The size and complexity of software systems make integration of the new/modified
requirements to the software system costly and time consuming. The impact of requirements …

Abstract Architecture constraints are specifications which enable developers to formalize
design rules that architectures should respect, like the topological conditions of a given …

We describe an approach for the analysis of SysMLv2 models. The analysis computes
possible ranges of parameters during early system development in order to support the …

Middleware is an integral part of critical software, providing core services for data exchange
and manipulation, job execution, and scheduling. Their correctness is central to the correct …