Specification and analysis of real-time systems with PARAGON

摘要: This paper describes a methodology for the specification and analysis of distributed realdtime systems using toolset called PARAGON. PARAGON is based on Communicating Shared Resources paradigm, which allows system to be modeled as set communicating processes that compete shared resources. supports both visual textual languages describing systems. It offers automatic state space exploration well userddirected simulation. Our experience with in several case studies resulted includes design patterns abstraction heuristics, an overall process. briefly overviews resource paradigm its PARAGON, including languages. The then our special emphasis heuristics can used reduce space. To illustrate methodology, we use examples from realdlife study.