位置：成果数据库 > 会议 > 会议详情页
Formal Design and Verification of Zone Controller
  • 所属机构名称：华东师范大学
  • 会议名称：21th Asia-Pacific Software Engineering Conference
  • 时间：2014.12.1
  • 成果类型：会议
  • 相关项目：基于MARTE的实时系统模型驱动架构关键问题研究
同会议论文项目
基于MARTE的实时系统模型驱动架构关键问题研究
期刊论文 11 会议论文 24
同项目会议论文
Improving Testing Coverage for Safety Critical System by Mutated Specification
Problem Frames Construction from Feature Models
Formal specification of Hybrid MARTE statechart
Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic
Spatio-temporal Hybrid Automata for Cyber-Physical Systems. ICTAC 2013 : 337-354
Unified Modeling of Active and Reactive Components for Real-time Systems
Trustability Improvement of an Automatic Train Protection System
Evaluating Energy Consumption for Cyber-Physical Energy System: an Environment Ontology-Based Approa
Spatio-Temporal UML Statechart For Cyber-Physical Systems
Modeling and Verification of Zone Controller: the SCADE Experience in China’s railway systems
A Formal Framework Of CPS
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach.
Spatio-Temporal UML profile for Cyber-Physical Systems
Integration of Safety Verification with Conformance Testing
Hybrid AADL- A Sublanguage Extension to AADL
Hybrid Event B
Hybrid Lustre
HSD: Hybrid MARTE Sequence Diagram
Hybrid MARTE
Integration of Safety Verification with Conformance Testing in Real-time Reactive System
Spatio-Temporal Properties Analysis for Cyber-Physical Systems
Spatio-temporal Properties Analysis for Cyber-physical Systems. ICECCS 2013 : 101-110
Scheduling analysis of CCSL specifications