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

▶
towards a behavioral modeling of real time kernel in a
SMART_READER_LITE
LIVE PREVIEW

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

Jan 06, 2024 244 likes •357 views

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 Cdrick Lelionnais & Jrme

slide-1
SLIDE 1

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

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

Towards a Behavioral Modeling of Real-Time Kernel in a Model Driven Development Approach

RTNS 2010 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10) November 4th, 2010, Toulouse, FRANCE

1

slide-2
SLIDE 2

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

➢

Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach

  • Model Driven Architecture (MDA) initiative

Model Driven Architecture (MDA) initiative

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS)

2

slide-3
SLIDE 3

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

➢

Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach

  • Model Driven Architecture (MDA) initiative

Model Driven Architecture (MDA) initiative

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS)

2

slide-4
SLIDE 4

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

➢

Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach

  • Model Driven Architecture (MDA) initiative

Model Driven Architecture (MDA) initiative

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS)

2

slide-5
SLIDE 5

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

➢

Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach

  • Model Driven Architecture (MDA) initiative

Model Driven Architecture (MDA) initiative

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS)

➔ Application

Application Programming Programming Interfaces Interfaces

2

slide-6
SLIDE 6

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

➢

Solution: Model Driven Development (MDD) approach Solution: Model Driven Development (MDD) approach

  • Model Driven Architecture (MDA) initiative

Model Driven Architecture (MDA) initiative

Generating a Real-Time Application Generating a Real-Time Application for several Real-Time Operating Systems (RTOS) for several Real-Time Operating Systems (RTOS)

➔ Application

Application Programming Programming Interfaces Interfaces

➔ Behavior

Behavior

2

slide-7
SLIDE 7

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

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

3

slide-8
SLIDE 8

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

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

3

slide-9
SLIDE 9

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

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

4

slide-10
SLIDE 10

TRAME Team - November 4th, 2010 - 4th Junior Researcher Workshop on Real-Time Computing (JRWRTC10)

Thank you for your attention Thank you for your attention

5