9.3 Language Based Approaches to System Level Design
Date:
Thu, 2010-03-11 Time:
08:30 - 10:00Location / Room:
Konferenz 1 Moderators:
J Haase, TU Vienna, AT
D Borrione, TIMA Laboratory, FR
The session is about the use of high level specifications to perform HW/SW co-design, co-generation and verification. The first paper presents extensions to an actor-based model of computation to make it more suitable to the networking domain. The second and third papers propose model transformation techniques to generate code or validate systems described in UML. In the last paper, PSL specifications are applied at the transaction level for design verification.
| 0830 | EFFICIENT HIGH-LEVEL MODELING IN THE NETWORKING DOMAIN C Zebelein, J Falk, C Haubelt and J Teich, Erlangen-Nuremberg U, DE R Dorsch, IBM Research & Development GmbH, DE |
| 0900 | UML DESIGN FOR DYNAMICALLY RECONFIGURABLE MULTIPROCESSOR EMBEDDED SYSTEMS J Vidal, F De Lamotte, G Gogniat and J-P Diguet, European U of Brittany, FR Pe Soulard, SODIUS, FR |
| 0930 | CLOSING THE GAP BETWEEN UML-BASED MODELING AND SIMULATION OF COMBINED HW/SW SYSTEMS F Mischkalla, D He and W Mueller, Paderborn U/C-LAB, DE |
| 0945 | FORMAL SEMANTICS FOR PSL MODELING LAYER AND APPLICATION TO THE VERIFICATION OF TRANSACTIONAL MODELS L Ferro and L Pierre, TIMA Laboratory, FR |
| IPs | IP4-11, IP4-12 |
| 1000 | EXHIBITION BREAK/IP4 |
