位置：成果数据库 > 会议 > 会议详情页
Specification of train control systems using formal methods
  • 所属机构名称：广东工业大学
  • 会议名称：4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, MUSIC 2013,, Lecture
  • 时间：2014
  • 成果类型：会议
  • 相关项目：信息物理融合系统的多维分析与设计方法
同会议论文项目
信息物理融合系统的多维分析与设计方法
期刊论文 14 会议论文 61
同项目会议论文
Designing and modeling cyber physical systems by a service-based approach
QoS modeling of cyber physical systems by the integration of AADL and aspect-oriented methods
Modeling of train control systems using formal techniques
Model transformation for cyber physical systems
Formal descriptions of cyber physical systems using clock theory
Modeling Automotive Cyber Physical Systems.
Formal specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory
Multi-View Approach for Modeling Aerospace Cyber-Physical System
Requirement Specification for Transportation Cyber Physical Systems
Multi-View Approach to Model Aerospace Cyber-Physical Systems
Modeling Railway Cyber Physical Systems Based on AADL
Modeling vehicular cyber physical systems based on AADL
Multi-Dimensional Analysis and Design Method for Aerospace Cyber-Physical Systems
Aspect-Oriented Approach to Modeling Railway Cyber Physical Systems
Aspect-Oriented Modeling for Railway Control Systems
Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADL
Requirement Analysis Method for Vehicular Cyber Physical Systems
QoS Modeling of Cyber Physical Systems Based on Concern of Separation by Extension of AADL
Modeling Method of Aspect-Oriented MDA for Non-Functional Properties of Real-Time Information System
Multi-Dimensional Analysis and Design Method for Cyber-Physical Systems
Applying System of Systems Engineering Approach to Build Complex Cyber Physical Systems
Specifying time constraints of cyber physical systems based on clock theory
A clock based framework for specifying and modeling the time constraints of cyber physical systems
A mechanism of transforming architecture analysis and design language into modelica
Aspect-oriented modeling method for real-time information systems
A clock-based specification of cyber-physical systems
Aspect-oriented qos modeling of cyber-physical systems by the extension of architecture analysis and
A case study for cyber physical system with hybrid relation calculus
Model Integration and Model Transformation Approach for Multi-Paradigm Cyber Physical System Develop
Integration design and model transformation for cyber physical systems
Multi-domain modeling and co-simulation based on Modelica and Simulink
An Approach to the Verification and Analysis of Cyber Physical Systems
Real-Time Traffic Light Scheduling Algorithm Based on Genetic Algorithm and Machine Learning
Formal specification of railway control systems
Requirement analysis method for vehicular cyber physical systems
Aspect-oriented modeling of railway cyber physical systems based on the extension of AADL
An approach to model complex big data driven cyber physical systems
Specification and Design Method for Big Data Driven Cyber Physical Systems
Integrated approach for modeling cyber physical systems
Specification and modeling of QoS based on AADL
A Framework to Specify Big Data Driven Complex Cyber Physical Control Systems
Task scheduling in Cyber Physical Systems
Convergence Approach to Model Physical World and Cyber World of Aviation Cyber Physical System
Specification of communication based train control system using AADL
Muti-dimensional architecture modeling for cyber physical systems
Specification of railway cyber physical systems using AADL
Convergence of Physical System and Cyber System Modeling Methods for Aviation Cyber Physical Control
Specifying and modeling automotive cyber physical systems
A framework to model big data driven complex cyber physical control systems
Designing Big Data Driven Cyber Physical Systems Based on AADL
View oriented approach to specify and model aerospace cyber-physical systems
An integration approach to specify and model automotive cyber physical systems
Multi-view approach to specify and model aerospace cyber-physical systems
Modeling large scale complex cyber physical control systems based on system of systems engineering a
A clock based approach to the formal specification of cyber physical systems
Combining UML and Formal Notations for Modeling Cyber Physical Systems
Challenges and Solutions of Cyber-Physical Systems
Generating Test Cases for Cyber Physical Systems from Formal Specifications
Formal Specification for Transportation Cyber Physical Systems
Specifying and modeling railway cyber physical systems by the extension of AADL