2015 Forum on Specification and Design Languages (FDL)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467377355

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enhancing analysability and time predictability in UML/MARTE component-based application models

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306365 ◽

2015 ◽

Cited By ~ 2

Author(s):

F. Herrera ◽

P. Penil ◽

E. Villar

Keyword(s):

Time Predictability ◽

Uml Marte

Download Full-text

FMI and SystemC-AMS

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306362 ◽

2015 ◽

Download Full-text

Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306359 ◽

2015 ◽

Cited By ~ 2

Author(s):

Asier Larrucea ◽

Irune Agirre ◽

Carlos Fernando Nicolas ◽

Jon Perez ◽

Mikel Azkarate-Askasua ◽

...

Keyword(s):

Iec 61508 ◽

Mixed Criticality

Download Full-text

Extensions to the UML profile for MARTE for distributed embedded systems

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306092 ◽

2015 ◽

Cited By ~ 5

Author(s):

Emad Ebeid ◽

Julio Medina ◽

Davide Quaglia ◽

Franco Fummi

Keyword(s):

Embedded Systems ◽

Distributed Embedded Systems ◽

Uml Profile

Download Full-text

Architectural system modeling for correct-by-construction RTL design

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306086 ◽

2015 ◽

Cited By ~ 2

Author(s):

Joakim Urdahl ◽

Dominik Stoffel ◽

Wolfgang Kunz

Keyword(s):

System Modeling ◽

Rtl Design

Download Full-text

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306360 ◽

2015 ◽

Download Full-text

Mixed-criticality system modelling with dynamic execution mode switching

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306356 ◽

2015 ◽

Cited By ~ 5

Author(s):

Philipp Ittershagen ◽

Kim Gruttner ◽

Wolfgang Nebel

Keyword(s):

Mode Switching ◽

System Modelling ◽

Execution Mode ◽

Dynamic Execution ◽

Mixed Criticality

Download Full-text

Clocks and Their Applications

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306364 ◽

2015 ◽

Download Full-text

Front Cover

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306089 ◽

2015 ◽

Keyword(s):

Front Cover

Download Full-text

High integrity multi-core modelling for future systems (HI-MCM)

2015 Forum on Specification and Design Languages (FDL) ◽

10.1109/fdl.2015.7306357 ◽

2015 ◽

Keyword(s):

High Integrity

Download Full-text

2015 Forum on Specification and Design Languages (FDL)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Enhancing analysability and time predictability in UML/MARTE component-based application models

FMI and SystemC-AMS

Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning

Extensions to the UML profile for MARTE for distributed embedded systems

Architectural system modeling for correct-by-construction RTL design

Table of Contents

Mixed-criticality system modelling with dynamic execution mode switching

Clocks and Their Applications

Front Cover

High integrity multi-core modelling for future systems (HI-MCM)

Export Citation Format

2015 Forum on Specification and Design Languages (FDL)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Enhancing analysability and time predictability in UML/MARTE component-based application models

FMI and SystemC-AMS

Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning

Extensions to the UML profile for MARTE for distributed embedded systems

Architectural system modeling for correct-by-construction RTL design

Table of Contents

Mixed-criticality system modelling with dynamic execution mode switching

Clocks and Their Applications

Front Cover

High integrity multi-core modelling for future systems (HI-MCM)

2015 Forum on Specification and Design Languages (FDL)
Latest Publications