Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML

Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML

Bibliographic Details
Main Authors:	Jacobs, J, Simpson, A
Format:	Conference item
Published:	Springer 2013

Similar Items

On the formal interpretation and behavioural consistency checking of SysML blocks
by: Jacobs, J, et al.
Published: (2015)

A Process Algebraic Approach to Decomposition of Communicating SysML Blocks
by: Jacobs, J, et al.
Published: (2013)

SysML for systems engineering /
by: 447691 Holt, Jon, et al.
Published: (2013)

SysML for systems engineering /
by: 447691 Holt, Jon, et al.
Published: (2008)

Constructing True Model-Based Requirements in SysML
by: Alejandro Salado, et al.
Published: (2019-03-01)

System requirements engineering : a SysML supported requirements engineering method /
by: Bron, Jean-Yves, author.
Published: (2020)

Towards Hierarchical Workflows in SysML to Support Virtual Validation of Technical Systems
by: Yizhe Zhang, et al.
Published: (2023-04-01)

Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models
by: Amal Ahmed Anda, et al.
Published: (2023-03-01)

SysML in Action with Cameo Systems Modeler /
by: Casse, Olivier, author 649342, et al.
Published: (2018)

SysML4GDPSim: A SysML Profile for Modeling Geometric Deviation Propagation in Multistage Manufacturing Systems Simulation
by: Sergio Benavent-Nácher, et al.
Published: (2024-02-01)

Application of SysML on a simplified model of an air surveillance radar / Применение языка SysML на упрощенной модели радиолокационного наблюдения / Primena SysML na pojednostavljen model osmatračkog radara
by: Miloš D. Jevtić, et al.
Published: (2017-01-01)

A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
by: Jacobs, J, et al.
Published: (2015)

On the formal interpretation of SysML blocks using a safety critical case study
by: Jacobs, J, et al.
Published: (2015)

SYSML4TA: A SysML Profile for Consistent Tolerance Analysis in a Manufacturing System Case Application
by: Sergio Benavent-Nácher, et al.
Published: (2023-03-01)

Building SysML Model Graph to Support the System Model Reuse
by: Chao Fu, et al.
Published: (2021-01-01)

Embedded systems : analysis and modeling with SysML, UML and AADL /
by: Kordon, Fabrice
Published: (2013)

A practical guide to sysML : systems modeling language /
by: 187832 Friedenthal, Sanford, et al.
Published: (2008)

Systems engineering with SysML/UML : modeling, analysis, design /
by: 360753 Weilkiens, Tim
Published: (2007)

An Improved FFIP Method Based on Mathematical Logic and SysML
by: Jian Jiao, et al.
Published: (2021-04-01)

Towards Holistic System Models Including Domain-Specific Simulation Models Based on SysML
by: Yizhe Zhang, et al.
Published: (2021-10-01)

MeROS: SysML-Based Metamodel for ROS-Based Systems
by: Tomasz Winiarski
Published: (2023-01-01)

Design Analysis Method for Multidisciplinary Complex Product using SysML
by: Liu Jihong, et al.
Published: (2017-01-01)

Integrating Model Checking With SysML in Complex System Safety Analysis
by: Hongli Wang, et al.
Published: (2019-01-01)

Mapping Architectural Concepts to SysML Profile for Product Line Architecture Modeling
by: Mohd Zaki, Mohd Zulkifli, et al.
Published: (2011)

System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV
by: Deming Zhong, et al.
Published: (2022-02-01)

Modeling a production line using system modeling language (SysML)
by: Muhammad Al Amin Ismail.
Published: (2010)

Self-Adaptation Driven by SysML and Goal Models - A Literature Review
by: Amal Ahmed Anda, et al.
Published: (2022-01-01)

Collaborative Model-Based Systems Engineering Using Dataspaces and SysML v2
by: Zirui Li, et al.
Published: (2024-01-01)

Synchronous Integration Method of System and Simulation Models for Mechatronic Systems Based on SysML
by: Changyong Chu, et al.
Published: (2022-09-01)

Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications
by: Layse Santos Souza, et al.
Published: (2023-10-01)

Model-Based Development and Simulation for Robotic Systems with SysML, Simulink and Simscape Profiles
by: Mohd Azizi Abdul Rahman, et al.
Published: (2013-02-01)

Modeling and Analysis of Unmanned Aerial Vehicle System Leveraging Systems Modeling Language (SysML)
by: Niamat Ullah Ibne Hossain, et al.
Published: (2022-12-01)

Integration of SysML and Virtual Reality Environment: A Ground Based Telescope System Example
by: Mostafa Lutfi, et al.
Published: (2023-04-01)

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems
by: Jian Xie, et al.
Published: (2022-12-01)

IoTsecM: A UML/SysML Extension for Internet of Things Security Modeling
by: Ponciano Jorge Escamilla-Ambrosio, et al.
Published: (2021-01-01)

SysML-based Optimisation of Global Variables Arrangement for Visualisation in Distributed Control Systems Oriented Towards Communication Performance
by: Jamro Marcin, et al.
Published: (2019-01-01)

Virtual Testing Workflows Based on the Function-Oriented System Architecture in SysML: A Case Study in Wind Turbine Systems
by: Yizhe Zhang, et al.
Published: (2022-09-01)

Medición del tremor parkinsoniano mediante un instrumento virtual analizado y diseñado con SysML
by: Juan Fernando García Mejía, et al.
Published: (2010-06-01)

Design and implementation of Safety_SysML consistency verifier for avionics software
by: YIN Wei, et al.
Published: (2023-08-01)

SysML based Design for Variability enabling the Reusability of Legacy Systems towards the support of Diverse Standard Compliant Implementations or Standard Updates: The Case of IEEE-802.15.6 Standard for e-Health Applications
by: Sofia Meacham, et al.
Published: (2016-11-01)