A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
XVERSA facilitates the use of the Algebra of Communicating Shared Resources (ACSR), a real-time process algebra with explicit notions of resources and priority. ... We present XVERSA, a set of tools for the specification and analysis of resource-bound real-time systems. ... ACSR is a timed process algebra thatfacilitates the description of concurrent real-time systems with serially reusable resources. ...doi:10.1007/3-540-61474-5_89 fatcat:lucbcuyn25eybk3gkogtafxega
The present work addresses the problem of detecting deadlock situations early in the requirements specification phase of a concurrent real time system, proposing a simple proof-of-concepts prototype that ... Real-time systems are computing systems in which the meeting of their requirements is vital for their correctness. ... The description of the semantics of a MSC uses process algebra, based on the algebraic theory of process description ACP (Algebra of Communicating Process)  . ...arXiv:0802.0212v1 fatcat:grbzccukivckde33swu36lppxa
Lecture Notes in Computer Science
Secondly, it provides the basis for an extension of schedulability analysis techniques to the formal verification process, facilitating the modelling of real-time systems in a process algebraic manner ... In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. ... ., to discrete time), optimization for implementation, tooling and experimenting in the future. ...doi:10.1007/978-3-540-40903-8_11 fatcat:7d3k247sh5euxfuucjwmpz7swa
Summary: “We discuss the decidability problem associated with verifying properties of processes expressed in the real time process calculus TCCS of Y. ... Moreover, we prove that the problem of deciding whether a given regular real timed process satisfies a given property of the logic is decidable, relative to first-order assertions about real numbers. ...
Lecture Notes in Computer Science
The Concurrency Factory supports the specification, simulation, verification, and implementation of real-time concurrent systems such as communication protocols and process control systems. ... While the system uses process algebra as its underlying design formalism, the prlmary focus of the project is practical utility: the tools should be usable by engineers who are not fvaniliar with formal ... techniques based on the underlying process-algebraic model, the support of languages besides Facile by the design compiler, and broader support for real-time systemso -A compiler for transforming VTView ...doi:10.1007/3-540-61474-5_88 fatcat:mstdfg2qqve5hkevbpegtxh5oy
Formal Description Techniques and Protocol Specification, Testing and Verification
It turns out that the state space of this model is about an order of magnitude smaller than the one resulting from traditional real-time semantics. ... This paper describes an approach for modeling real-time systems using dynamic priorities. ... The research of the third author was partly supported by the German Academic Exchange Service under grant D/95/09026 (Doktorandenstipendium HSP II f AUFE). ...doi:10.1007/978-0-387-35271-8_20 fatcat:fges2ek3aremvppiii2cew6uiq
A growing number of real-life programming and specification languages, including Standard ML, have been given usable semantic descriptions by means of structural operational semantics. ... Large language specifications using structural operational semantics, like all designs, evolve with time, and need to be maintained. ... The original papers in this special issue of the The Journal of Logic and Algebraic Programming report on significant research developments in the field of structural operational semantics, and we trust ...doi:10.1016/j.jlap.2004.03.010 fatcat:74ndujmqqjazbjvu6wekv53myq
In addition to place/transition nets we consider algebraic net specifications which subsume colored Petri nets and we show how a corresponding sound and complete rewriting semantics can be established ... To this end, we equip place/transition nets with a rewriting semantics which is sound and complete in the strong categorical sense of a natural isomorphism between the Best-Devillers process semantics ... Part of this work is based on earlier work conducted by the first author at University of Hamburg, Germany and in the scope of the European Community project MATCH (CHRX-CT94-0452). ...doi:10.1016/s1571-0661(04)80949-6 fatcat:tbwnoo4xwvb35mhanuanynffem
Summary: “Many real-time process algebras have the maximal progress assumption. In those process algebras, the time intervals in which actions are enabled are left-closed. ... The distinction is done by extending the set of actions by marked actions. “The real-time process algebra presented here is an extension of Milner’s CCS. ...
There has recently been significant progress in the development of timed process algebras for the specification and analysis of real-time systems. ... Comments Abstract Recently, significant progress has been made in the development of timed process algebras for the specification and analysis of real-time systems. ... The work described in this paper was significantly benefited from discussions with the members of Real-Time Group at the University of Pennsylvania. ...doi:10.1109/5.259433 fatcat:wmgkcmbvfrfoboek3aowv3cpue
It is widely recognized that dealing with time related aspects in process algebra is often crucial for the specification and analysis of complex real systems. ... Moreover, we show the conceptual relationship between the notion of time considered and the kind of semantics (in the sense of classical process algebra literature) which must be adopted for representing ... Introduction In the last years, the necessity of extending the expressiveness of classical process algebras, so to make them more suitable for the specification and analysis of real case studies, has led ...doi:10.1016/j.entcs.2005.12.107 fatcat:zfnbd6a44ffcvhuulv2i7bhgji
Summary: “A process algebra with priority and time is presented, based on linear timed CCS. It is given a set of axioms and a transition system semantics. ... It is shown how to translate any timed process into the untimed algebra, by time-stamping each action. Thus, maximal progress is shown to be a specific example of maximal priority.” ...
The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. ... A new notation system that is capable to describe and specify the 3-D real-time behaviors, the real-time process algebra (RTPA), is developed in this paper to meet the fundamental requirements in software ... Acknowledgements This work is supported by the fund of the Natural Sciences and Engineering Research Council of Canada (NSERC). ...doi:10.1023/a:1020561826073 fatcat:ovqj4n7b3rhybnwnvki2f4ussy
Algebra of communicating shared resources (ACSR) is a process algebra designed for the formal specification and manipulation of distributed systems with resources and real-time constraints. ... Process algebras have been used successfully to define and prove correctness of distributed systems. More recently, there has been a lot of activity to extend their application to real-time systems. ... Acknowledgements The authors gratefully acknowledge the anonymous referees, whose comments significantly contributed to the quality of this paper. ...doi:10.1016/s0304-3975(96)00229-0 fatcat:ccuinrra4ffedaz76d5qi6ozlq
We review the development of the process algebra Timed CSP, from its inception nearly twenty years ago to very recent semantical and algorithmic developments. ... A front-runner amongst timed process algebras, it was quickly followed by a number of other dense-time and discretetime process algebras, such as those appearing in [9, 19, 17, 18, 4, 32, 15, 6, 20, 10 ... Perhaps surprising is the lack of work on algebraic semantics. ...doi:10.1016/j.entcs.2005.12.093 fatcat:arebqmcac5cprdh2oygqho2dsq
« Previous Showing results 1 — 15 out of 40,936 results