Matches in SemOpenAlex for { <https://semopenalex.org/work/W136932983> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W136932983 abstract "In this thesis we propose a treatment based on the Time-constrained Reactive Automata (TRA) model--a novel formalism suitable for the specification, validation, verification, and implementation of embedded systems.Using the TRA model, an embedded system is viewed as a set of asynchronously interacting automata (TRAs), each representing an autonomous system entity. TRAs are input enabled; they interact by signaling events on their output channels and by reacting to events signaled on their input channels. The behavior of a TRA is governed by time-constrained causal relationships between computation-triggering events. The TRA model is compositional and allows time, control, and computation non-determinism. The TRA model allows the representation of both the external environment and the programmed system along with the available computational resources in a unique framework making it possible to prove safety and liveness properties and study transient and steady state performances of embedded real-time control systems. In particular, using the TRA formalism there is no conceptual distinction between a system and a property; both are specified as formal objects. This reduces the verification process to that of establishing correspondences--preservation and implementation--between such objects.${cal CLEOPATRA}$ is a specification language based entirely on the TRA formalism. It features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in real applications already using C; it is object-based, thus advocating modularity, reusability, and off-the shelf hierarchical programming of embedded systems. ${cal CLEOPATRA}$ is semantically sound. In particular, its objects can be transformed, mechanically and unambiguously, into formal TRA objects for verification purposes. We have developed a compiler that allows specifications written in ${cal CLEOPATRA}$ to be executed in simulated time, thus providing a valuable tool for validation purposes.We have used the TRA development methodology in the design, simulation, and analysis of various systems--specifically asynchronous digital circuits, sensori-motor activity management for autonomous systems, and intelligent controllers. Our experience has confirmed the suitability of this novel methodology for the specification, verification, and validation of embedded and time-critical applications. (Abstract shortened with permission of author.)" @default.
- W136932983 created "2016-06-24" @default.
- W136932983 creator A5005398588 @default.
- W136932983 date "1992-01-01" @default.
- W136932983 modified "2023-09-27" @default.
- W136932983 title "Time-constrained reactive automata: a novel development methodology for embedded real-time systems" @default.
- W136932983 hasPublicationYear "1992" @default.
- W136932983 type Work @default.
- W136932983 sameAs 136932983 @default.
- W136932983 citedByCount "1" @default.
- W136932983 crossrefType "journal-article" @default.
- W136932983 hasAuthorship W136932983A5005398588 @default.
- W136932983 hasConcept C110251889 @default.
- W136932983 hasConcept C111498074 @default.
- W136932983 hasConcept C112505250 @default.
- W136932983 hasConcept C120314980 @default.
- W136932983 hasConcept C142362112 @default.
- W136932983 hasConcept C153349607 @default.
- W136932983 hasConcept C15569618 @default.
- W136932983 hasConcept C199360897 @default.
- W136932983 hasConcept C41008148 @default.
- W136932983 hasConcept C45374587 @default.
- W136932983 hasConcept C55439883 @default.
- W136932983 hasConcept C558565934 @default.
- W136932983 hasConcept C73301696 @default.
- W136932983 hasConcept C80444323 @default.
- W136932983 hasConceptScore W136932983C110251889 @default.
- W136932983 hasConceptScore W136932983C111498074 @default.
- W136932983 hasConceptScore W136932983C112505250 @default.
- W136932983 hasConceptScore W136932983C120314980 @default.
- W136932983 hasConceptScore W136932983C142362112 @default.
- W136932983 hasConceptScore W136932983C153349607 @default.
- W136932983 hasConceptScore W136932983C15569618 @default.
- W136932983 hasConceptScore W136932983C199360897 @default.
- W136932983 hasConceptScore W136932983C41008148 @default.
- W136932983 hasConceptScore W136932983C45374587 @default.
- W136932983 hasConceptScore W136932983C55439883 @default.
- W136932983 hasConceptScore W136932983C558565934 @default.
- W136932983 hasConceptScore W136932983C73301696 @default.
- W136932983 hasConceptScore W136932983C80444323 @default.
- W136932983 hasLocation W1369329831 @default.
- W136932983 hasOpenAccess W136932983 @default.
- W136932983 hasPrimaryLocation W1369329831 @default.
- W136932983 hasRelatedWork W1500534105 @default.
- W136932983 hasRelatedWork W1589207525 @default.
- W136932983 hasRelatedWork W1885203194 @default.
- W136932983 hasRelatedWork W2015387433 @default.
- W136932983 hasRelatedWork W2018779008 @default.
- W136932983 hasRelatedWork W2112461649 @default.
- W136932983 hasRelatedWork W2133050925 @default.
- W136932983 hasRelatedWork W2134658184 @default.
- W136932983 hasRelatedWork W2138018114 @default.
- W136932983 hasRelatedWork W2153488541 @default.
- W136932983 hasRelatedWork W2289372141 @default.
- W136932983 hasRelatedWork W2394934717 @default.
- W136932983 hasRelatedWork W2536181972 @default.
- W136932983 hasRelatedWork W2546335689 @default.
- W136932983 hasRelatedWork W2549142495 @default.
- W136932983 hasRelatedWork W2564648803 @default.
- W136932983 hasRelatedWork W2597460389 @default.
- W136932983 hasRelatedWork W2888804772 @default.
- W136932983 hasRelatedWork W2963354524 @default.
- W136932983 hasRelatedWork W3183718310 @default.
- W136932983 isParatext "false" @default.
- W136932983 isRetracted "false" @default.
- W136932983 magId "136932983" @default.
- W136932983 workType "article" @default.