Towards a general theory of action and time
Artificial Intelligence
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
Introduction to design choices in the semantics of Statecharts
Information Processing Letters
Formal specification methods for reactive systems
Journal of Systems and Software
Requirement Specification For Real-Time and Hybrid Systems
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Timed and Hybrid Statecharts and Their Textual Representation
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Hi-index | 0.00 |
An executable specification language, known as PSP, for fast prototyping parallel responsive systems is introduced. The language is equipped with directly executable mathematical data objects, first order predicates, temporal operators, parallel assignment, state and state history, sets, maps and sequences, etc. An abstract system model of a parallel responsive systems may be constructed using PSP. Using this model, various dynamic behaviors of the system can be studied and analysed at an early design stage. These include detailed temporal relations between every component in the system. Temporal and functional properties of the system can also be expresse within PSP as (temporal) predicates. Global cause-effect relations and other temporal properties of the system can be tested by executing both the abstract system model and its associated functional/temporal asscertions. Inconsistency an incompleteness in the abstract design can then be discoverd against user's intention before real implemention, thus reducing design cost. PSP is illustrated using a lift system.