Early validation and verification of system behaviour in model-based systems engineering: a systematic literature review
J Cederbladh, A Cicchetti, J Suryadevara - ACM Transactions on …, 2024 - dl.acm.org
In the Systems Engineering (SE) domain there has been a paradigm shift from document-
based to model-based system development artefacts; in fact, new methodologies are …
based to model-based system development artefacts; in fact, new methodologies are …
[HTML][HTML] RoboChart: modelling and verification of the functional behaviour of robotic applications
Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide
variety of applications, many with potential safety hazards. The work presented in this paper …
variety of applications, many with potential safety hazards. The work presented in this paper …
[HTML][HTML] Verified simulation for robotics
Simulation is a favoured technique for analysis of robotic systems. Currently, however,
simulations are programmed in an ad hoc way, for specific simulators, using either …
simulations are programmed in an ad hoc way, for specific simulators, using either …
RoboStar technology: a roboticist's toolbox for combined proof, simulation, and testing
Simulation is favored by roboticists to evaluate controller design and software. Often, state
machines are drawn to convey overall ideas and used as a basis to program tool-specific …
machines are drawn to convey overall ideas and used as a basis to program tool-specific …
[HTML][HTML] A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP
L Lima, A Tavares, SC Nogueira - Science of Computer Programming, 2020 - Elsevier
Deadlock and nondeterminism may become increasingly hard to detect in concurrent and
distributed systems. UML activity diagrams are flowcharts that model sequential and …
distributed systems. UML activity diagrams are flowcharts that model sequential and …
Ontology-based requirement verification for complex systems
Verification is a necessary part of Model-based systems engineering (MBSE) which is
becoming a mainstream methodology for the design of complex systems. Verification in the …
becoming a mainstream methodology for the design of complex systems. Verification in the …
Principles of universal conceptual modeling
The paper proposes a new frontier for conceptual modeling–universal conceptual modeling
(UCM)–defined as conceptual modeling that is general-purpose and accessible to anyone …
(UCM)–defined as conceptual modeling that is general-purpose and accessible to anyone …
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications
R Bougacha, R Laleau, S Collart-Dutilleul… - … on Theoretical Aspects of …, 2022 - Springer
SysML, dedicated to system design, provides graphical models. One of the strengths of
these graphical models is that they can be validated by domain experts. However, the …
these graphical models is that they can be validated by domain experts. However, the …
Event-based semantics of UML 2. X concurrent sequence diagrams for formal verification
Abstract UML 2. X sequence diagrams (SD) are among privileged scenarios-based
approaches dealing with the complexity of modeling the behaviors of some current systems …
approaches dealing with the complexity of modeling the behaviors of some current systems …
[HTML][HTML] Universal conceptual modeling: principles, benefits, and an agenda for conceptual modeling research
The paper proposes universal conceptual modeling, conceptual modeling that strives to be
as general-purpose as possible and accessible to anyone, professionals and non-experts …
as general-purpose as possible and accessible to anyone, professionals and non-experts …