Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni  Home/Search
Context
Related
| cdc.unict.it/~carchiol/arti...Todaes.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cdc.unict.it/~ca...papersmosaico (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Data Types (ADTs). In the following we will only discuss the behavioural part of the TTL. The data structure part of the TTL is the same of LOTOS one; for a complete description see [ISO-IS-8807 1988] or [Bolognesi and Brinksma 1987]. The basic hypothesis of TTL is that the behaviour of the system can be specified by observing from the outside the temporal order in which events occur. In practice, the system is seen as a black box which interacts with the environment by means of events, the... (Update)
Active bibliography (related documents): More All
0.6: A Simulator for Embedded Systems Design - Carchiolo, Malgeri, Mangioni (Correct)
0.5: Synthesis of TTL Specification: A Case Study - Carchiolo, Malgeri, Mangioni (Correct)
0.5: POLIS - A design environment for control-dominated .. - Balarin, Chiodo.. (1999) (Correct)
Similar documents based on text: More All
0.6: An upward compatible timed extension to LOTOS - Leduc (1992) (Correct)
0.4: An Agent Based Platform for a Service Provider - Carchiolo, Malgeri, Mangioni (Correct)
0.3: Software Synthesis for System Level Design Using.. - van Bokhoven, Voeten, .. (1999) (Correct)
BibTeX entry: (Update)
@article{ carchiolo00hardwaresoftware,
author = "Vincenza Carchiolo and Michele Malgeri and Guiseppe Mangioni",
title = "Hardware/software synthesis of formal specifications in codesign of embedded systems",
journal = "Design Automation of Electronic Systems",
volume = "5",
number = "3",
pages = "399-432",
year = "2000",
url = "citeseer.ist.psu.edu/367494.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
592 Introduction to HOL: a theorem proving environment for highe.. (context) - Gordon, editors - 1992
484 A Calculus of communicating systems (context) - Milner - 1980
407 Introduction to the ISO specification language LOTOS (context) - Bolognesi, Brinksma - 1987
374 Automata on infinite objects (context) - Thomas - 1990
211 The synchronous approach to reactive and real-time systems (context) - Berry, Couronn'e et al. - 1991
163 Hardware-Software cosynthesis for microcontrollers (context) - Ernst
161 Fundamentals of Algebraic Specifications (context) - Ehrig - 1985
144 Switching and Finite Automata Theory (context) - Kohavi - 1978
137 Hardware-Software cosynthesis for digital systems - Gupta, Micheli - 1993
124 Synthesis and optimization of digital circuits (context) - Micheli - 1994
64 Synthesis and simulation of digital systems containing inter.. - Gupta, Coelho et al. - 1992
46 Constructing predictable real time systems (context) - Halang, Stoyenko - 1991
42 Program implementation schemes for Hardware-Software systems - Gupta, Coelho et al. - 1994
39 Telecommunications systems engineering using SDL (context) - Saracco, Smith et al. - 1989
32 Automata-Theoretic Verification of Coordinating Processes (context) - Kurshan - 1994
25 Scheduling for reactive real-time systems (context) - Chou, Walkup et al. - 1994
24 Hardware-Software codesign of embedded controllers based on .. (context) - Ernst - 1993
24 The Boyer-Moore theorem prover and its interactive enhanceme.. - Boyer, Kaufmann et al. - 1995
20 The Chinook Hardware/Software cosynthesis system - Chou, Ortega et al. - 1995
16 Software co-simulation (context) - Rowson - 1994
14 A formal specification model for Hardware/Software codesign - Chiodo, Giusto et al. - 1993
13 Constrained Software generation for HardwareSoftware systems (context) - Gupta, Micheli - 1994
11 A data flow oriented language for signal processing (context) - Guernic, Benveniste et al. - 1985
11 Synthesis of Software programs from CFSM specifications (context) - Chiodo, Giusto et al. - 1995
9 Codesign of Communication Protocols (context) - Wenban, O'Leary et al. - 1993
7 Digital Design and Synthesis with Verilog HDL (context) - Sternheim, Singh et al. - 1993
7 Modifying min-cut for Hardware and Software functional parti.. - Vahid - 1997
6 Using statecharts for Hardware description and synthesis (context) - Drusinski, Har'el - 1989
5 Enforcing Schedulability of Multi-Task Systems by HardwareSo.. - Shin, Choi - 1997
4 The Algebraic Specification Language LOTOS: An Industrial Ex.. - Logrippo, Melanchuck et al. - 1990
4 TTL: A LOTOS extension for system description (context) - Carchiolo, Malgeri et al. - 1996
4 State exploration by transformation with LOLA (context) - Quemada, Paven et al. - 1989
3 Formal codesign methodology with multistep partitioning (context) - Carchiolo, Malgeri et al.
2 Experience with and future of LOTOS as a specification langu.. (context) - Brinksma, Scollo et al. - 1987
2 LUSTRE A declarative language for the real-time programming (context) - Caspi, Pilaud et al. - 1987
2 Applying fuzzy logic to codesign partitioning (context) - Catania, Malgeri et al. - 1997
2 Design and Validation of Computer Protocols (context) - Holtzmann - 1991
1 COSYMA: A Software-orienetd approach to Hardware-software co.. (context) - Henkel, Benner et al. - 1994
1 Synthesis of TTL Specification: a Case Study - Carchiolo, Malgeri et al.
1 Architecture and specification style in formal description o.. (context) - June, University et al. - 1988
1 Software partitioning aiming at fulfillment of real-time con.. (context) - Axelsonn - 1996
1 Multiple-process behavioural synthesis for mixed Hardware-So.. (context) - Adams, Thomas - 1995
1 Optimized controller synthesis using Esterelle (context) - Berry, Touati - 1993
1 Modeling microcontroller peripherals for high-level co-simul.. (context) - Heish, Lavagno et al. - 1997
1 HardwareC - A language for Hardware design version 2 (context) - Ku, Micheli - 1990
1 An automaton model for scheduling constraints in stnchronous.. (context) - Takach, Wolf - 1995
1 A framework for Hardware/Software codesign (context) - Kuman - 1993
1 A methodology for codesign based on fuzzy logic and genetic .. (context) - Catania, Malgeri et al. - 1995
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC