✦ LIBER ✦

Grammar-based design of embedded systems

✍ Scribed by Johnny Öberg; Mattias O'Nils; Axel Jantsch; Adam Postula; Ahmed Hemani

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 629 KB
Volume: 47
Category: Article
ISSN: 1383-7621
DOI: 10.1016/s1383-7621(00)00047-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A model for user interaction in grammar-

A model for user interaction in grammar-based design systems

✍ Scott C Chase 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 467 KB

Grammar-based production systems are considered potentially powerful design tools by their ability to generate sets of designs adhering to user-specified constraints. However, development of such tools has been slow, partly because of the lack of good interaction between user and system. This paper

Interval-based analysis in embedded syst

Interval-based analysis in embedded system design

✍ M Jersak; K Richter; R Ernst 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 314 KB

Grammar controlled specification and des

Grammar controlled specification and design of program systems

✍ Lutz Pietschker 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 358 KB

Microprocessor design for embedded syste

Microprocessor design for embedded system

✍ Alessandro De Gloria 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 132 KB

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

Constraints-driven design space explorat

Constraints-driven design space exploration for distributed embedded systems

✍ Krzysztof Kuchcinski 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 319 KB