Architecture description language for Cyber Physical Systems analysis: a railway control system case study

Computers in Railways XIV ◽

10.2495/cr140181 ◽

2014 ◽

Author(s):

N. Darragi

Keyword(s):

Control System ◽

Systems Analysis ◽

Cyber Physical Systems ◽

Description Language ◽

Architecture Description Language ◽

Physical Systems ◽

Architecture Description

Download Full-text

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study

Science of Computer Programming ◽

10.1016/j.scico.2014.09.011 ◽

2015 ◽

Vol 103 ◽

pp. 13-50 ◽

Author(s):

Kyungmin Bae ◽

Joshua Krisiloff ◽

José Meseguer ◽

Peter Csaba Ölveczky

Keyword(s):

Control System ◽

Cyber Physical Systems ◽

Physical Systems ◽

Turning Control

Download Full-text

Using the architecture description language MetaH for designing and prototyping an embedded spacecraft attitude control system

20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219) ◽

10.1109/dasc.2001.964241 ◽

2002 ◽

Author(s):

J.H. McDuffie

Keyword(s):

Control System ◽

Attitude Control ◽

Spacecraft Attitude ◽

Spacecraft Attitude Control ◽

Attitude Control System ◽

Description Language ◽

Architecture Description Language ◽

Architecture Description

Download Full-text

Smart Factory and Cyber-Physical Systems: Analysis of CPS Case Study

Regional Industry Review ◽

10.33932/rir.44.1.7 ◽

2021 ◽

Vol 44 (1) ◽

pp. 161-181

Author(s):

Jongpil Park

Keyword(s):

Systems Analysis ◽

Cyber Physical Systems ◽

Smart Factory ◽

Physical Systems

Download Full-text

The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering

10.21236/ada612735 ◽

2003 ◽

Author(s):

Peter H. Feiler ◽

Bruce Lewis ◽

Steve Vestal

Keyword(s):

Embedded Systems ◽

Systems Engineering ◽

Description Language ◽

Architecture Description Language ◽

Model Based ◽

Architecture Description

Download Full-text

The ALI Architecture Description Language

ACM SIGSOFT Software Engineering Notes ◽

10.1145/3282517.3282545 ◽

2019 ◽

Vol 43 (4) ◽

pp. 52-52

Author(s):

Umaima Haider ◽

John D. McGregor ◽

Rabih Bashroush

Keyword(s):

Description Language ◽

Architecture Description Language ◽

Architecture Description

Download Full-text

A Case Study of FMVEA and CHASSIS as Safety and Security Co-Analysis Method for Automotive Cyber-physical Systems

Proceedings of the 1st ACM Workshop on Cyber-Physical System Security - CPSS '15 ◽

10.1145/2732198.2732204 ◽

2015 ◽

Author(s):

Christoph Schmittner ◽

Zhendong Ma ◽

Erwin Schoitsch ◽

Thomas Gruber

Keyword(s):

Cyber Physical Systems ◽

Analysis Method ◽

Physical Systems

Download Full-text

Simultaneous Trajectory Planning and Tracking Using an MPC Method for Cyber-Physical Systems: A Case Study of Obstacle Avoidance for an Intelligent Vehicle

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2018.2815531 ◽

2018 ◽

Vol 14 (9) ◽

pp. 4273-4283 ◽

Author(s):

Hongyan Guo ◽

Chen Shen ◽

Hui Zhang ◽

Hong Chen ◽

Rui Jia

Keyword(s):

Obstacle Avoidance ◽

Trajectory Planning ◽

Cyber Physical Systems ◽

Intelligent Vehicle ◽

Physical Systems

Download Full-text

A Dataflow Language (AVON) as an Architecture Description Language (ADL)

IFIP International Federation for Information Processing - Design Methods and Applications for Distributed Embedded Systems ◽

10.1007/1-4020-8149-9_29 ◽

2004 ◽

pp. 287-296

Author(s):

Ashoke Deb

Keyword(s):

Description Language ◽

Architecture Description Language ◽

Architecture Description

Download Full-text

Towards UML modeling of cyber-physical systems: A case study for gas distribution

IEEE 8th International Symposium on Intelligent Systems and Informatics ◽

10.1109/sisy.2010.5647314 ◽

2010 ◽

Author(s):

Gabriela Magureanu ◽

Madalin Gavrilescu ◽

Dan Pescaru ◽

Alex Doboli

Keyword(s):

Cyber Physical Systems ◽

Gas Distribution ◽

Physical Systems ◽

Download Full-text

Using an architecture description language for quantitative analysis of real-time systems

Proceedings of the third international workshop on Software and performance - WOSP '02 ◽

10.1145/584369.584399 ◽

2002 ◽

Author(s):

Robert Allen ◽

Steve Vestal ◽

Dennis Cornhill ◽

Bruce Lewis

Keyword(s):

Quantitative Analysis ◽

Real Time ◽

Real Time Systems ◽

Description Language ◽

Architecture Description Language ◽

Architecture Description ◽

Download Full-text