A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Semantics of Modechart in real time logic
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Rapidly Prototyping Real-Time Systems
IEEE Software
Formal Specification of Real-time Systems
Formal Specification of Real-time Systems
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
The cluster compiler—a tool for the design of time-triggered real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
An approach to verification and validation of a reliable multicasting protocol
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Reimplementing a multiprocess distributed paradigm for real-time systems in Ada 95
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Simulation-Verification: Biting at the State Explosion Problem
IEEE Transactions on Software Engineering
An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
Using an architecture description language for quantitative analysis of real-time systems
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Software portability gains realized with METAH and Ada95
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Evaluating real-time software specification languages
Computer Standards & Interfaces
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Representing architectural evolution
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting
IEEE Transactions on Computers
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
An Operational Semantics and Compiler for Real-Time Specifications
Integrated Computer-Aided Engineering
Performance Validation on Multicore Mobile Devices
Verified Software: Theories, Tools, Experiments
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Modal Systems: Specification, Refinement and Realisation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Detecting design flaws in UML state charts for embedded software
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
What is in a step: new perspectives on a classical question
Time for verification
Towards behavior elaboration and synthesis using modes
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Constructive semantics for instantaneous reactions
Theoretical Computer Science
Running-modes of real-time systems: a case-study with mode-automata
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
I4Copter: an adaptable and modular quadrotor platform
Proceedings of the 2011 ACM Symposium on Applied Computing
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS
Software—Practice & Experience
Model-Driven architecture for hard real-time systems: from platform independent models to code
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
SoftContract: model-based design of error-checking code and property monitors
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
A novel approach to modechart verification of real-time systems
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
SoftContract: model-based design of error-checking code and property monitors
UML Modeling Languages and Applications
Argos: an automaton-based synchronous language
Computer Languages
Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Developing mode-rich satellite software by refinement in Event-B
Science of Computer Programming
A novel requirement analysis approach for periodic control systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Ideal mode selection of a cardiac pacing system
DHM'13 Proceedings of the 4th International conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management: healthcare and safety of the environment and transport - Volume Part I
| Hi-index | 0.01 |
Present a specification language for real-time systems called Modechart. The semantics of Modechart is given in terms of real-time logic (RTL), which is especially amenable to reasoning about the absolute (real-time clock) timing of events. The semantics of Modechart has an important property that the translation of a Modechart specification into RTL formulas results in a hierarchical organization of the resulting RTL assertions. This gives us significant leverage in reasoning about properties of a system by allowing us to filter out assertions that concern lower levels of abstraction. Some results about desirable properties of Modechart specifications are given. A graphical implementation of Modechart has been completed.