Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Mon 22-Jul-24 . 21:20

Web Map



Santander Info

   Full record
Title:Modeling, Analysis, and Verification of Cyber-Physical Systems in the Electronics Century
Type:International Conference
Where:Shonan Meeting, Kanagawa, Japan
R&D Lines:
PDF File:
Abstract:The electronics industry business model will change in the short time as Moore´s Law reaches an end. If Moore´s Law changed the world, its end may have a similar effect. Cyber-Physical Systems of Systems (CPSoS) will dominate the electronics century becoming pervasive in all the aspects of our daily lives. For the first time, the underlying technology will be stable with only incremental improvements in time. This may make it accessible to many new players looking for a competitive advantage in silicon. Investment will move from the initial stages of the value chain to those closer to the final user.
In this new scenario, modeling, analysis and verification of CPSs will have to evolve. The focus should be put on the device, not isolated but as a component in a complex, heterogeneous, distributed network of many other computing devices. Services will be offered by the interaction of functional components deployed in many distributed computing resources of many kind, from small motes, embedded systems and smart-phones to large data centers and even High-Performance Computing (HPC) facilities. Electronic design in this new context should address effectively new requirements. Among them, scalability, reusability, human interaction, easy modeling, fast design-space exploration and optimization, powerful functional and extra-functional verification, efficient handling of mixed-criticality and security, etc. An essential aspect will be the availability of powerful, platform independent SW and HW synthesis tools able to produce automatically efficient implementations of the system model on many different computing resources. In this presentation, the effect of this dramatic change in system design were discussed. A single-source approach supported by powerful design tools were proposed. Current results from the European FP7 ConTrex project were described.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster