IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642388521, 9783642388538

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Execution of Test Cases on UML Models of Embedded Systems

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_4 ◽

2013 ◽

pp. 39-48

Author(s):

Marco A. Wehrmeister ◽

Gian R. Berkenbrock

Keyword(s):

Embedded Systems ◽

Test Cases ◽

Uml Models

Download Full-text

Formal Verification of Concurrent Embedded Software

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_20 ◽

2013 ◽

pp. 218-227

Author(s):

Dirk Nowotka ◽

Johannes Traub

Keyword(s):

Formal Verification ◽

Embedded Software

Download Full-text

Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_3 ◽

2013 ◽

pp. 26-38 ◽

Cited By ~ 1

Author(s):

Jiaxing Zhang ◽

Gunar Schirner

Keyword(s):

Video Encoding ◽

System Level ◽

System Level Design ◽

Design Case ◽

Level Design ◽

Design Case Study

Download Full-text

Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_31 ◽

2013 ◽

pp. 343-352 ◽

Cited By ~ 1

Author(s):

Sunil Malipatlolla ◽

Ingo Stierand

Keyword(s):

Real Time ◽

The Real ◽

Security Module ◽

The Impact

Download Full-text

Low-Power Processors Require Effective Memory Partitioning

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_7 ◽

2013 ◽

pp. 73-81 ◽

Cited By ~ 1

Author(s):

Leonardo Steinfeld ◽

Marcus Ritt ◽

Fernando Silveira ◽

Luigi Carro

Keyword(s):

Low Power

Download Full-text

Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_11 ◽

2013 ◽

pp. 116-127 ◽

Cited By ~ 1

Author(s):

Che-Wei Chang ◽

Rainer Dömer

Keyword(s):

Satisfiability Modulo Theories ◽

Deadlock Analysis

Download Full-text

A Passive Monitoring Tool for Evaluation of Routing in WirelessHART Networks

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_15 ◽

2013 ◽

pp. 159-170 ◽

Cited By ~ 1

Author(s):

Gustavo Kunzel ◽

Jean Michel Winter ◽

Ivan Muller ◽

Carlos Eduardo Pereira ◽

João Cesar Netto

Keyword(s):

Monitoring Tool ◽

Passive Monitoring

Download Full-text

I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_30 ◽

2013 ◽

pp. 331-342 ◽

Cited By ~ 1

Author(s):

Gang Li ◽

Søren Top

Keyword(s):

Mixed Criticality

Download Full-text

Contract-Based Compositional Scheduling Analysis for Evolving Systems

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_25 ◽

2013 ◽

pp. 272-282

Author(s):

Tayfun Gezgin ◽

Stefan Henkler ◽

Achim Rettberg ◽

Ingo Stierand

Keyword(s):

Evolving Systems ◽

Scheduling Analysis

Download Full-text

TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification ◽

10.1007/978-3-642-38853-8_1 ◽

2013 ◽

pp. 1-13 ◽

Cited By ~ 1

Author(s):

Takuya Azumi ◽

Yasaman Samei Syahkal ◽

Yuko Hara-Azumi ◽

Hiroshi Oyama ◽

Rainer Dömer

Keyword(s):

Software Component ◽

Data Parallelism

Download Full-text

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and VerificationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automatic Execution of Test Cases on UML Models of Embedded Systems

Formal Verification of Concurrent Embedded Software

Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding

Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System

Low-Power Processors Require Effective Memory Partitioning

Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories

A Passive Monitoring Tool for Evaluation of Routing in WirelessHART Networks

I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications

Contract-Based Compositional Scheduling Analysis for Evolving Systems

TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component

IFIP Advances in Information and Communication Technology - Embedded Systems: Design, Analysis and Verification
Latest Publications