Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems

Assaf Marron, David Harel

2025

Abstract

Finding hidden faults in reactive systems early in planning and development is critical for human safety, the environment, society and the economy. However, the ever growing complexity of reactive systems and their interactions, combined with the absence of adequate technical details in early development stages, pose a great obstacle. The problem is exacerbated by the constant evolution of systems, and by their extensive and growing interwoven-ness with other systems and the physical world. Appropriately, such systems may be termed super-reactive. We propose an architecture for models and tools that help overcome such barriers and enable simulation, systematic analysis, and fault detection and handling, early in the development of super-reactive systems. The main innovations are: (i) the allowing of natural language (NL) specifications in elements of otherwise standard models and specification formalisms, while deferring the interpretation of such NL elements to simulation and validation time; and (ii) a focus on early formalization of tacit interdependencies among seemingly orthogonal requirements. The approach is facilitated by combining newly specialized tools with standard development and verification facilities, and with the inference and abstraction capabilities of large language models (LLMs) and associated AI techniques. An important ingredient in the approach is the domain knowledge embedded in LLMs. Special methodological measures are proposed to mitigate well known limitations of LLMs.

Paper Citation

in Harvard Style

Marron A. and Harel D. (2025). Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems. In Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-729-0, SciTePress, pages 321-329. DOI: 10.5220/0013369200003896

in Bibtex Style

@conference{modelsward25,
author={Assaf Marron and David Harel},
title={Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems},
booktitle={Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2025},
pages={321-329},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013369200003896},
isbn={978-989-758-729-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
SN - 978-989-758-729-0
AU - Marron A.
AU - Harel D.
PY - 2025
SP - 321
EP - 329
DO - 10.5220/0013369200003896
PB - SciTePress