**Meet the editor**

Dr Seyed Morteza Babamir received BS degree in Software Engineering from Ferdowsi University of Meshhad and MS and PhD degrees in Software Engineering from Tarbiat Modares University in 2002 and 2007 respectively. He was a researcher at Iran Aircraft Industries, Tehran City, Iran, from 1987 to 1993, head of Computer Center in University of Kashan, Kashan, Iran, from 1997

to 1999 and haed of Computer Engineering Department in University of Kashan from 2002 to 2005. Since 2007, he has been an assistant professor of Department of Computer Engineering in University of Kashan, Kashan, Iran. He authored one book in Software Testing, 4 book chapters, 14 journal papers and more than 40 international and internal conference papers. He is the managing director of Soft Computing Journal published by supporting University of Kashan, Kashan, Iran. Dr. Babamir is a member of the ACM.

Contents

**Preface IX** 

Sorin Zoican

Chapter 3 **Schedulability Analysis** 

Chapter 2 **Dynamics of System Evolution 23** 

Chapter 4 **An Efficient Hierarchical Scheduling** 

**Part 2 Specification and Verification 95** 

Zbigniew Huzar and Anita Walkowiak

**Oracle Using Timed Automata 129** 

Seyed Morteza Babamir and Mehdi Borhani Dehkordi

Chapter 7 **Handling Overload Conditions in Real-Time Systems 149** 

Chapter 5 **Specification and Validation** 

Chapter 6 **Construction of Real-Time** 

Giorgio C. Buttazzo

**Part 3 Scheduling 147** 

Chapter 1 **Networking Applications for Embedded Systems 3** 

Ashirul Mubin, Rezwanur Rahman and Daniel Ray

**of Mode Changes with Arbitrary Deadlines 47**  Paulo Martins, I. G. Hidalgo, M. A. Carvalho, A. de Angelis,

V.Timóteo, R. Moraes, E. Ursini and Udo Fritzke Jr

**Framework for the Automotive Domain 67**  Mike Holenderski, Reinder J. Bril and Johan J. Lukkien

**of Real-Time Systems Using UML Sequence Diagrams 97** 

**Part 1 Architectures 1** 
