Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Theoretical Computer Science
Comparing different approaches for specifying and verifying real-time systems
RTOSS '93 Proceedings of the tenth IEEE workshop on Real-time operating systems and software
UPPAAL—a tool suite for automatic verification of real-time systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Verification of embedded systems using a petri net based representation
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Computer
Stochastic Petri nets: an elementary introduction
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets-selected papers
A Matlab Toolbox for Real-Time and Control Systems Co-Design
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
On task schedulability in real-time control systems
RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Bounding the end-to-end response times of tasks in a distributed real-time system using the direct synchronization protocol
Multiple Enabledness of Transitions in Petri Nets with Time
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Software Technology and Architecture - Volume 1
Reachability analysis of real-time systems using time Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Exploiting prescriptive aspects: a design time capability
Proceedings of the 4th ACM international conference on Embedded software
An MDE-based approach to the verification of SysML state machine diagram
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
| Hi-index | 0.00 |
In computer-based control systems, embedded softwareis taking over what mechanical and dedicated electronicsystems used to do, that is, to engage and controlthe physical world, interacting directly with sensorsand actuators. Therefore, software running on a digitalprocessor is tightly-coupled with its surrounding physicalenvironment. We propose an integrated approachbased on Timed Petri-Nets for modeling and analysisof embedded real-time systems where real-time schedulingbehavior of the controller software is explicitly representedat the model-level, together with the physicalenvironment that it interacts with. This enables thedesigner to have an integrated view of the entire systemwhile analyzing the system and making design decisions.We also describe a syntax-directed, automatedtranslation procedure from Timed Petri-Nets to TimedAutomata, thus enabling the use of model checkers suchas UPPAAL for analysis purposes. We consider therailroad crossing problem as an application example,and evaluate alternatives for controller implementationon either single-processor or distributed multi-processorplatforms based on the integrated approach.