Filters








40,936 Hits in 5.0 sec

XVERSA: An integrated graphical and textual toolset for the specification and analysis of resource-bound real-time systems [chapter]

Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong -Liang Xie, Oleg Sokolsky
1996 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

A topological formal treatment for scenario-based software specification of concurrent real-time systems [article]

Miriam C. B. Alves, Christine C. Dantas, Nanci N. Arai, Rovedy B. da Silva
2008 arXiv   pre-print
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) [14] .  ... 
arXiv:0802.0212v1 fatcat:grbzccukivckde33swu36lppxa

PARS: A Process Algebra with Resources and Schedulers [chapter]

MohammadReza Mousavi, Michel Reniers, Twan Basten, Michel Chaudron
2004 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

Page 5991 of Mathematical Reviews Vol. , Issue 94j [page]

1994 Mathematical Reviews  
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.  ... 

The Concurrency Factory: A development environment for concurrent systems [chapter]

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1996 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

Dynamic priorities for modeling real-time [chapter]

Girish Bhat, Rance Cleaveland, Gerald Lüttgen
1997 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

Guesteditors'introduction:Specialissueon Structural Operational Semantics

Luca Aceto, Wan Fokkink
2004 The Journal of Logic and Algebraic Programming  
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

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
2001 Electronical Notes in Theoretical Computer Science  
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

Page 7544 of Mathematical Reviews Vol. , Issue 2002J [page]

2002 Mathematical Reviews  
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.  ... 

A process algebraic approach to the specification and analysis of resource-bound real-time systems

I. Lee, P. Bremond-Gregoire, R. Gerber
1994 Proceedings of the IEEE  
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

Stochastic and Real Time in Process Algebra: A Conceptual Overview

Mario Bravetti
2006 Electronical Notes in Theoretical Computer Science  
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

Page 3498 of Mathematical Reviews Vol. , Issue 94f [page]

1994 Mathematical Reviews  
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.”  ... 

:{unav)

Yingxu Wang
2012 Annals of Software Engineering  
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

A process algebra of communicating shared resources with dense time and priorities

Patrice Brémond-Grégoire, Insup Lee
1997 Theoretical Computer Science  
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

Timed CSP: A Retrospective

Joël Ouaknine, Steve Schneider
2006 Electronical Notes in Theoretical Computer Science  
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