Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System
In thisarticle, the design, modeling and validation of embedded systemsis examined. There exist commercial tools for the developmentof control- or data-flow dominated systems, e.g.STATEMATE for control dominated systems and MATLAB for data-flowdominated ...
Device Driver and DMA Controller Synthesis from HW /SW Communication Protocol Specifications
We have separated the information requiredfor HW/SW interface synthesis into three parts,the protocol specification, the operating system related information,and the processor related information. From these inputs a synthesistool generates (a) device ...
Efficient Memory Management for High-Speed ATM Systems
ATM technology placesstrict performance requirements on ATM systems, especially consideringthe scalability of the SDH/SONET physical layerto high speeds. Throughput preservation of the link speed throughprotocols to a higher layer application is a known ...