An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 88
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2023 AND VI 44 AND IP 1
Results: 16
1
2
Modeling ROS Based Applications with AADL.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 84
- By:
- Publication type:
- Article
3
Modelling Robot Architectures with AADL.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 80
- By:
- Publication type:
- Article
4
Experiences Modeling a OPC UA / DDS Gateway in AADL in the Context of Fog Computing.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 79
- By:
- Publication type:
- Article
5
COMPASTA: Integrating COMPASS Functionality into TASTE.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 75
- By:
- Publication type:
- Article
6
Correctness-by-Construction: An Overview of the CorC Ecosystem.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 59
- By:
- Publication type:
- Article
7
An AADL Contract Language Supporting Integrated Model- and Code-Level Verification.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 49
- By:
- Publication type:
- Article
8
C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 71
- By:
- Publication type:
- Article
9
Achieving 100% Availability in the ERAM Air Traffic Control System.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 35
- By:
- Publication type:
- Article
10
Conference Calendar.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 25
- By:
- Publication type:
- Article
11
Quarterly News Digest.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 4
- By:
- Publication type:
- Article
12
Unified Graphical Co-modelling, Analysis and Verification of Cyber-physical Systems by Combining AADL and Simulink/Stateflow.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 67
- By:
- Publication type:
- Article
13
AADL Modelling with SysML v2.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 63
- By:
- Publication type:
- Article
14
Editorial.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 3
- By:
- Publication type:
- Article
15
Hardware/Software Co-assurance for the Rust Programming Language Applied to Zero Trust Architecture Development.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 38
- By:
- Publication type:
- Article
16
Beyond Model Checking of Idealized Lustre in KIND 2.
- Published in:
- Ada User Journal, 2023, v. 44, n. 1, p. 44
- By:
- Publication type:
- Article