Show simple item record

dc.contributor.author
Giannopoulou, Georgia
dc.contributor.author
Poplavko, Peter
dc.contributor.author
Socci, Dario
dc.contributor.author
Huang, Pengcheng
dc.contributor.author
Stoimenov, Nikolay
dc.contributor.author
Bourgos, Paraskevas
dc.contributor.author
Thiele, Lothar
dc.contributor.author
Bozga, Marius
dc.contributor.author
Bensalem, Saddek
dc.contributor.author
Girbal, Sylvain
dc.contributor.author
Faugere, Madeleine
dc.contributor.author
Soulat, Romain
dc.contributor.author
Dupont de Dinechin, Benoît
dc.date.accessioned
2018-06-22T13:25:30Z
dc.date.available
2018-06-10T05:44:47Z
dc.date.available
2018-06-11T07:00:30Z
dc.date.available
2018-06-22T13:25:30Z
dc.date.issued
2018-06
dc.identifier.other
10.1007/s10617-018-9206-3
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/268885
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.subject
Real-time systems
en_US
dc.subject
Mixed-criticality systems
en_US
dc.subject
Multi-core scheduling
en_US
dc.subject
Rigorous design
en_US
dc.subject
Software synthesis
en_US
dc.subject
Avionics
en_US
dc.title
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
en_US
dc.type
Journal Article
dc.date.published
2018-06-02
ethz.journal.title
Design Automation for Embedded Systems
ethz.journal.volume
22
en_US
ethz.journal.issue
1-2
en_US
ethz.pages.start
141
en_US
ethz.pages.end
181
en_US
ethz.identifier.wos
ethz.identifier.scopus
ethz.publication.place
Berlin
en_US
ethz.publication.status
published
en_US
ethz.relation.isNewVersionOf
20.500.11850/116308
ethz.date.deposited
2018-06-10T05:45:03Z
ethz.source
SCOPUS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2018-06-22T13:25:49Z
ethz.rosetta.lastUpdated
2018-06-22T13:25:49Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=DOL-BIP-Critical:%20a%20tool%20chain%20for%20rigorous%20design%20and%20implementation%20of%20mixed-criticality%20multi-core%20systems&rft.jtitle=Design%20Automation%20for%20Embedded%20Systems&rft.date=2018-06&rft.volume=22&rft.issue=1-2&rft.spage=141&rft.epage=181&rft.au=Giannopoulou,%20Georgia&Poplavko,%20Peter&Socci,%20Dario&Huang,%20Pengcheng&Stoimenov,%20Nikolay&rft.genre=article&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record