Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink
Research on novel tools for model-based development differs from a mere engineering task
by not only developing a new tool, but by providing some form of evidence that it is effective …
by not only developing a new tool, but by providing some form of evidence that it is effective …
Characteristics, potentials, and limitations of open-source Simulink projects for empirical research
Simulink is an example of a successful application of the paradigm of model-based
development into industrial practice. Numerous companies create and maintain Simulink …
development into industrial practice. Numerous companies create and maintain Simulink …
The troupe system: an autonomous multi-agent rover swarm
N Benz, I Sljivo, PG Vlastos, A Woodard… - AIAA SCITECH 2024 …, 2024 - arc.aiaa.org
Autonomous cooperative robotic systems are the future of space exploration. The complexity
of such systems makes their development, verification and assurance challenging. The …
of such systems makes their development, verification and assurance challenging. The …
Bridging the gap between requirements and simulink model analysis
Formal verification and simulation are powerful tools for the verification of requirements
against complex systems. Requirements are developed in early stages of the software …
against complex systems. Requirements are developed in early stages of the software …
Design, formalization, and verification of decision making for intelligent systems
The development of autonomous systems requires a rigorous process that can guarantee a
system's reliability in critical applications. At its core, an autonomous system bases its …
system's reliability in critical applications. At its core, an autonomous system bases its …
From Lustre to Simulink: Reverse compilation for embedded systems applications
H Bourbouh, PL Garoche, C Garion… - ACM Transactions on …, 2021 - dl.acm.org
Model-based design is now unavoidable when building embedded systems and, more
specifically, controllers. Among the available model languages, the synchronous dataflow …
specifically, controllers. Among the available model languages, the synchronous dataflow …
Formal verification of automotive Simulink controller models: empirical technical challenges, evaluation and recommendations
The automotive industry makes increasing usage of Simulink-based software development.
Typically, automotive Simulink designs are analyzed using non-formal test methods, which …
Typically, automotive Simulink designs are analyzed using non-formal test methods, which …
Inductive validity cores
Symbolic model checkers can construct proofs of properties over highly complex models.
However, the results reported by the tool when a proof succeeds do not generally provide …
However, the results reported by the tool when a proof succeeds do not generally provide …
Machine-checked executable semantics of Stateflow
Simulink is a widely used model-based development environment for embedded systems.
Stateflow is a component of Simulink for modeling event-driven control via hierarchical state …
Stateflow is a component of Simulink for modeling event-driven control via hierarchical state …
[PDF][PDF] Bounded invariant checking for stateflow programs
Stateflow models are complex software models, often used as part of safety-critical software
solutions designed with Matlab Simulink. They incorporate design principles that are …
solutions designed with Matlab Simulink. They incorporate design principles that are …