𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real-time structured analysis in system level design of embedded ASICs

Publisher
Elsevier Science
Year
1988
Weight
9 KB
Volume
24
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Safety, liveness and real-time in embedd
Safety, liveness and real-time in embedded system design
✍ Harri Klapuri; Jarmo Takala; Jukka Saarinen πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 548 KB

Modelling of complex systems should be based on mathematical notions rather than being bound tightly to any programming language. Therefore, it is useful to be able to distinguish the different constituents of a distributed and concurrent system. In this paper, we focus on the formal properties know

Top-down design of embedded real-time AI
Top-down design of embedded real-time AI systems
✍ J. Hooman πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science βš– 568 KB

A formal method is proposed for the specification and verification of embedded real-time systems. We consider distributed systems in whichparallel processes communicate by sending messages along synchronous or asynchronous channels. To verify that a program satisfies a specification, a compositional

Real-Time Systems || Design and Analysis
Real-Time Systems || Design and Analysis of Propositional-Logic Rule-Based Systems
✍ Cheng, Albert M. K. πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley & Sons, Inc. βš– 837 KB

Real-time decision systems are computer-controlled systems that must react to events in the external environment by making decisions based on sensor inputs and state information sufficiently fast to meet environment-imposed timing constraints. They are used in applications that would require human e