Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems

2015 ◽  
Author(s):  
Alessandro Trindade ◽  
Hussama Ismail ◽  
Lucas Cordeiro
Keyword(s):  
Model Checking ◽  
Embedded Systems ◽  
Core Model ◽  
Software Partitioning

scholarly journals Multi-core model checking and maximum satisfiability applied to hardware-software partitioning

2017 ◽  
Vol 9 (6) ◽  
pp. 570 ◽  
Author(s):  
Alessandro Bezerra Trindade ◽  
Renato De Faria Degelo ◽  
Edilson Galvao Dos Santos Junior ◽  
Hussama Ibrahim Ismail ◽  
Helder Cruz Da Silva ◽  
...  
Keyword(s):  
Model Checking ◽  
Core Model ◽  
Maximum Satisfiability ◽  
Software Partitioning

scholarly journals Multi-core model checking and maximum satisfiability applied to hardware-software partitioning

2017 ◽  
Vol 9 (6) ◽  
pp. 570
Author(s):  
Lucas Carvalho Cordeiro ◽  
Helder Cruz Da Silva ◽  
Hussama Ibrahim Ismail ◽  
Renato De Faria Degelo ◽  
Edilson Galvao Dos Santos Junior ◽  
...  
Keyword(s):  
Model Checking ◽  
Core Model ◽  
Maximum Satisfiability ◽  
Software Partitioning

Embedded systems hardware software partitioning using minimax algorithm

2019 ◽  
Author(s):  
Adil Iguider ◽  
Kaouthar Bousselam ◽  
Oussama Elissati ◽  
Mouhcine Chami ◽  
Abdeslam En-Nouaary
Keyword(s):  
Embedded Systems ◽  
Software Partitioning

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.

Sign in / Sign up

Export Citation Format

Share Document