24 citations · 120 across the 25 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.SE2011★ 1 cited
On the Simulation of Time-Triggered Systems on a Chip with BIP
Jan Olaf Blech, Benoit Boyer, Thanh Hung Nguyen
In this report, we present functional models for software and hardware components of Time-Triggered Systems on a Chip (TTSoC). These are modeled in the asynchronous component based…
cs.SE2011★ 3 cited
A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
Jan Olaf Blech
In this report we describe a tool framework for certifying properties of PLCs: CERTPLC. CERTPLC can handle PLC descriptions provided in the Sequential Function Chart (SFC) language…