Modeling and analysis of micro-ring based silicon photonic interconnect for embedded systems

2011 ◽  
Author(s):  
Moustafa Mohamed ◽  
Zheng Li ◽  
Xi Chen ◽  
Alan Mickelson ◽  
Li Shang
Keyword(s):  
Embedded Systems ◽  
Modeling And Analysis ◽  
Silicon Photonic

scholarly journals Compositional Verification using Model Checking and Theorem Proving

2020 ◽  
pp. 305-314
Author(s):  
Diego Marmsoler
Keyword(s):  
Distributed Systems ◽  
Model Checking ◽  
Embedded Systems ◽  
Theorem Proving ◽  
Formal Modeling ◽  
Compositional Verification ◽  
Modeling And Analysis ◽  
Simple Version ◽  
Evolving Systems ◽  
Alternative Approach

AbstractCollaborative embedded systems form groups in which individual systems collaborate to achieve an overall goal. To this end, new systems may join a group and participating systems can leave the group. Classical techniques for the formal modeling and analysis of distributed systems, however, are mainly based on a static notion of systems and thus are often not well suited for the modeling and analysis of collaborative embedded systems. In this chapter, we propose an alternative approach that allows for the verification of dynamically evolving systems and we demonstrate it in terms of a running example: a simple version of an adaptable and flexible factory.

scholarly journals High level modeling of Dynamic Reconfigurable FPGAs

2009 ◽  
Vol 2009 ◽  
pp. 1-15 ◽  
Author(s):  
Imran Rafiq Quadri ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser
Keyword(s):  
Embedded Systems ◽  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling And Analysis ◽  
Model Driven ◽  
Fine Grain ◽  
Industry Standard ◽  
On Chip ◽  
High Level ◽  
Abstraction Levels

As System-on-Chip (SoC) based embedded systems have become a defacto industry standard, their overall design complexity has increased exponentially in recent years, necessitating the introduction of new seamless methodologies and tools to handle the SoC codesign aspects. This paper presents a novel SoC co-design methodology based on Model Driven Engineering and the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) standard, permitting us to raise the abstraction levels and allows to model fine grain reconfigurable architectures such as FPGAs. Extensions of this methodology have enabled us to integrate new features such as Partial Dynamic Reconfiguration supported by Modern FPGAs. The overall objective is to carry out system modeling at a high abstraction level expressed in a graphical language like Unified Modeling Language (UML) and afterwards transformation of these models automatically generate the necessary code for FPGA synthesis.

Modeling and Analysis of Real-Time and Embedded Systems

2006 ◽  
pp. 58-66 ◽  
Author(s):  
Susanne Graf ◽  
Sébastien Gérard ◽  
Øystein Haugen ◽  
Iulian Ober ◽  
Bran Selic
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Modeling And Analysis
Sign in / Sign up

Export Citation Format

Share Document