Towards a Behavioral Modeling of Real-Time Kernel in a Model Driven - PowerPoint PPT Presentation

RTNS 2010 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) November 4th, 2010, Toulouse, FRANCE Towards a Behavioral Modeling of Real-Time Kernel in a Model Driven Development Approach Cédrick Lelionnais & Jérôme Delatour Cédrick Lelionnais & Jérôme Delatour TRAME Team TRAME Team http://trame.eseo.fr http://trame.eseo.fr TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 1

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS) Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach ➢ • Model Driven Architecture (MDA) initiative Model Driven Architecture (MDA) initiative TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 2

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS) Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach ➢ • Model Driven Architecture (MDA) initiative Model Driven Architecture (MDA) initiative TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 2

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS) Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach ➢ • Model Driven Architecture (MDA) initiative Model Driven Architecture (MDA) initiative TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 2

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS) Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach ➢ • Model Driven Architecture (MDA) initiative Model Driven Architecture (MDA) initiative ➔ Application Application Programming Programming Interfaces Interfaces TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 2

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS) Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach ➢ • Model Driven Architecture (MDA) initiative Model Driven Architecture (MDA) initiative ➔ Application Application Programming Programming Interfaces Interfaces ➔ Behavior Behavior TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 2

Towards a Formal Behavioral Modeling Towards a Formal Behavioral Modeling A six-month experimentation relying on OSEK/VDX A six-month experimentation relying on OSEK/VDX ➢ • RTEPML to Petri Net Transformation Prototype RTEPML to Petri Net Transformation Prototype TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 3

Towards a Formal Behavioral Modeling Towards a Formal Behavioral Modeling A six-month experimentation relying on OSEK/VDX A six-month experimentation relying on OSEK/VDX ➢ • RTEPML to Petri Net Transformation Prototype RTEPML to Petri Net Transformation Prototype TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 3

Conclusion Conclusion ➢ Feedback Feedback ● 70% OSEK/VDX's concepts formalized 70% OSEK/VDX's concepts formalized ● Transformation prototype developed in 2 months Transformation prototype developed in 2 months ➢ Future Prospects Future Prospects ● Correctness of behavioral patterns Correctness of behavioral patterns ● Consideration of other RTOS Consideration of other RTOS ● Extension of RTEPML's syntax Extension of RTEPML's syntax TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 4

Thank you for your attention Thank you for your attention TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) 5