SysML

swMATH9155MaRDI QIDQ21148FDOQ21148

Author name not available (Why is that?)

Official website: http://www.sysml.org/

Cited In (28)

• Modelling of Complex Software Systems: A Reasoned Overview
• Real-time emulation of boost inverter using the systems modeling language and Petri nets
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Synergistic verification and validation of systems and software engineering models
• A two-way path between formal and informal design of embedded systems
• Using formal methods with SysML in aerospace design and engineering
• Model based control system design using SysML, Simulink, and Computer Algebra System
• Title not available (Why is that?)
• Intensional couplings in variable-structure models: an exploration based on multilevel-DEVS
• Modelica
• TorX
• Rhapsody
• Charmy
• UMLsec
• SOFA 2.0
• PACC starter kit
• Rigorous development of component-based systems using component metadata and patterns
• Charon
• HERBY
• MARTE
• AUTOSAR
• INA
• HFGT
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
• An architectural approach to the analysis, verification and validation of software intensive embedded systems
• OCRA
• The fixed-point theory of strictly causal functions

This page was built for software: SysML