Chapter 3 Liveness, Deadlock-Freeness, and Siphons Kamel Barkaoui, CEDRIC-CNAM Paris, France

Transcription

1 Table of Contents Preface... xix Chapter 1 Modeling and Scheduling of Crude Oil Operations in Refinery: A Hybrid Timed Petri Net. Approach... 1 NaiQi Wu, Guangdong University of Technology, China MengChu Zhou, New Jersey Institute of Technology, USA Feng Chu, Université d Evry Val d Essonne, France Said Mammar, Université d Evry Val d Essonne, France Chapter 2 Formal Reliability Analysis of Embedded Computing Systems Osman Hasan, National University of Sciences and Technology, Pakistan Sofiène Tahar, Concordia University, Canada Chapter 3 Liveness, Deadlock-Freeness, and Siphons Kamel Barkaoui, CEDRIC-CNAM Paris, France Chapter 4 Model-Based Functional Safety Analysis and Architecture Optimisation David Parker, University of Hull, UK Martin Walker, University of Hull, UK Yiannis Papadopoulos, University of Hull, UK Chapter 5 Expressing and Validating OCL Constraints using Graphs Najet Zoubeir, Institut Supérieur d Informatique, Tunisia Adel Khalfallah, Institut Supérieur d Informatique, Tunisia Samir Benahmed, Faculté des Sciences de Tunis, Tunisia

2 Chapter 6 A UML-Compliant Approach for Intelligent Reconfiguration of Embedded Control Systems Amen Ben Hadj Ali, Tunis El Manar University, Tunisia Mohamed Khalgui, Xidian University, China Samir Ben Ahmed, Tunis El Manar University, Tunisia Chapter 7 Development of Automated Systems using Proved B Patterns Olfa Mosbahi, University of Carthage, Tunisia Mohamed Khalgui, University of Carthage, Tunisia Chapter 8 Emerging Real-Time Methodologies Giorgio C. Buttazzo, Scuola Superiore Sant Anna, Italy Chapter 9 Merging and Splitting Petri Net Models within Distributed Embedded Controller Design Luis Gomes, Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal Anikó Costa, Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal João Paulo Barros, Instituto Politécnico de Beja, Portugal & UNINOVA-CTS, Portugal Filipe Moutinho, Universidade Nova de Lisboa, Portugal & UNINOVA-CTS, Portugal Fernando Pereira, Instituto Politécnico de Lisboa, Portugal & UNINOVA-CTS, Portugal Chapter 10 Safety Reconfiguration of Embedded Control Systems Atef Gharbi, University of Carthage, Tunisia Hamza Gharsellaoui, University of Carthage, Tunisia Mohamed Khalgui, University of Carthage, Tunisia & CNR Research Council, Italy Chapter 11 Task Scheduling under Uncertain Timing Constraints in Real-Time Embedded Systems Pranab K. Muhuri, South Asian University, India K. K. Shukla, Banaras Hindu University, India

3 Chapter 12 New Optimal Solutions for Real-Time Reconfigurable Periodic Asynchronous OS Tasks with Minimizations of Response Times Hamza Gharsellaoui, University of Carthage, Tunisia Olfa Mosbahi, University of Carthage, Tunisia & CNR Research Council, Italy Atef Gharbi, University of Carthage, Tunisia Mohamed Khalgui, University of Carthage, Tunisia & CNR Research Council, Italy Chapter 13 Task Migration in Embedded Systems: Design and Performance Abderrazak Jemai, University of Tunis El Manar, Tunisia & University of Carthage, Tunisia Kamel Smiri, University of Tunis El Manar, Tunisia & University of Kairouan, Tunisia Habib Smei, ISET de Rades, Tunisia Chapter 14 Wireless IEEE Based Networking Approaches for Industrial Networked Systems Ricardo Moraes, Universidade Federal de Santa Catarina, Brazil Francisco Vasques, Universidade do Porto, Portugal Chapter 15 Hardware/Software Implementation for Wireless Sensor Network Applications Mohamed Wassim Jmal, University of Sfax, Tunisia Oussema Ghorbel, University of Sfax, Tunisia Olfa Gaddour, University of Sfax, Tunisia Mohamed Abid, University of Sfax, Tunisia Chapter 16 Hybrid FlexRay/CAN Automotive Networks Rodrigo Lange, Federal University of Santa Catarina, Brazil Rômulo Silva de Oliveira, Federal University of Santa Catarina, Brazil Chapter 17 Emerging Technologies for Industrial Wireless Sensor Networks Ivanovitch Silva, Federal University of Rio Grande do Norte, Brazil Luiz Affonso Guedes, Federal University of Rio Grande do Norte, Brazil Paulo Portugal, University of Porto, Portugal Chapter 18 Numerical Simulation of Distributed Dynamic Systems using Hybrid Tools of. Intelligent Computing Fethi H. Bellamine, University of Waterloo, Canada & National Institute of Applied Sciences and Technologies, Tunisia Aymen Gdouda, National Institute of Applied Sciences and Technologies, Tunisia

4 Chapter 19 Multi-Core Embedded Systems Ricardo Chessini Bose, University of Mons, Belgium Georgios Fourtounis, University of Mons, Belgium Naim Harb, University of Mons, Belgium Laurent Jolczyk, University of Mons, Belgium Paulo Da Cunha Possa, University of Mons, Belgium Carlos Valderrama, University of Mons, Belgium Chapter 20 Securing Embedded Computing Systems through Elliptic Curve Cryptography Elisavet Konstantinou, University of the Aegean, Greece Panayotis E. Nastou, University of the Aegean, Greece Yannis C. Stamatiou, University of Patras, Greece Christos Zaroliagis, University of Patras, Greece Chapter 21 Security and Cryptographic Engineering in Embedded Systems Apostolos P. Fournaris, University of Patras, Greece & Technological Educational Institute of Patras, Greece Paris Kitsos, Technological Educational Institute of Patras, Greece & Hellenic Open University, Greece Nicolas Sklavos, Technological Educational Institute of Patras, Greece Chapter 22 Flash-Based Storage in Embedded Systems Pierre Olivier, Université de Bretagne Occidentale, France Jalil Boukhobza, Université de Bretagne Occidentale, France Eric Senn, Université de Bretagne Sud, France Chapter 23 EAST-ADL: An Architecture Description Language for Automotive Software-Intensive. Systems Hans Blom, Volvo Technology, Sweden Henrik Lönn, Volvo Technology, Sweden Frank Hagl, Continental Automotive GmbH, Germany Yiannis Papadopoulos, University of Hull, UK Mark-Oliver Reiser, Technische Universität Berlin, Germany Carl-Johan Sjöstedt, KTH Royal Institute of Technology, Sweden De-Jiu Chen, KTH Royal Institute of Technology, Sweden Fulvio Tagliabò, Centro Ricerche Fiat, Italy Sandra Torchiaro, Centro Ricerche Fiat, Italy Sara Tucci, CEA LIST DILS, France Ramin Tavakoli Kolagari, Nuremberg Institute of Technology, Germany

5 Compilation of References About the Contributors Index