Conference paper Open Access
Integration Approach for Communications-based Train Control Applications in a High Assurance Security Architecture
Schulz, Thorsten; Golatowski, Frank; Timmermann, Dirk
The secure integration of model-based, safety-critical applications implemented in the programming suite Ansys SCADE is explained with the help of a demonstrator. The interoperability between the embedded devices of the demonstrator is achieved using the new TRDP middleware. Remote connections are secured using the WireGuard secure network channel. The demonstrator security concept addresses the different life cycles of its heterogeneous components by adoption of the robust MILS separation architecture. The goal of this open demonstrator is to show how these essential technologies can be composed to a secure safety-critical system.
| Name | Size | |
|---|---|---|
|
YetAnotherMILSdemo.pdf
md5:ba32223dfebfd00a65a214713593dc59 |
1.1 MB | Download |
| All versions | This version | |
|---|---|---|
| Views | 363 | 364 |
| Downloads | 220 | 220 |
| Data volume | 250.0 MB | 250.0 MB |
| Unique views | 337 | 338 |
| Unique downloads | 197 | 197 |
- Publication date:
- June 6, 2019
- DOI:
-
- Keyword(s):
- MILS Security Formal modeling Railway CPS
- Grants:
-
European Commission:
- certMILS - Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats (731456)
- Meeting:
- RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Lille, France, 4-6 June 2019
- Related identifiers:
- New versions
- Supplementary material
- Communities:
- License (for files):
- Creative Commons Attribution 4.0 International