Autor: |
Ricardo-J. Machado, Henrique Santos, Luis Miguel Pinho, Carlos Eduardo Pereira, Christos Koulamas, Márcio Kreutz, João M. Fernandes, Francisco Vasques, Amer Baghdadi |
Rok vydání: |
2001 |
Předmět: |
|
Zdroj: |
IFIP Advances in Information and Communication Technology ISBN: 9781475745351 |
DOI: |
10.1007/978-0-387-35409-5 |
Popis: |
The design of embedded systems has to address several interacting design aspects, so-called dimensions, to capture parallelism, distribution over different locations and hard real-time requirements. Thus, a structured design process has been established with the PARADISE design environment. The design process covers all steps from behavioral specification to final chip realization. In this paper, we describe how system specification and refinement is covered in combination with the processes available in PARADISE. An example of an adequate specification and modeling language is considered and adapted for integration into PARADISE. First results show the feasibility of integrating the respective concepts. |
Databáze: |
OpenAIRE |
Externí odkaz: |
|