@Article{LITES-v003-i001, title = {{LITES, Volume 3, Issue 1}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {1--152}, ISSN = {2199-2002}, year = {2016}, volume = {3}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001}, doi = {10.4230/LITES-v003-i001}, annote = {Keywords: LITES, Volume 3, Issue 1} } @Article{houben_et_al:LITES-v003-i001-a001, author = {Houben, Christina and Houben, Sebastian}, title = {{Programming Language Constructs Supporting Fault Tolerance}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {01:1--01:20}, ISSN = {2199-2002}, year = {2016}, volume = {3}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a001}, doi = {10.4230/LITES-v003-i001-a001}, annote = {Keywords: Fault tolerance, Functional safety, PEARL, Embedded systems, Software engineering} } @Article{pathan:LITES-v003-i001-a002, author = {Pathan, Risat Mahmud}, title = {{Real-Time Scheduling on Uni- and Multiprocessors based on Priority Promotions}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {02:1--02:29}, ISSN = {2199-2002}, year = {2016}, volume = {3}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a002}, doi = {10.4230/LITES-v003-i001-a002}, annote = {Keywords: Real-Time Systems, Priority Promotion, Schedulability Analysis, Schedulability Condition} } @Article{moy_et_al:LITES-v003-i001-a003, author = {Moy, Matthieu and Helmstetter, Claude and Bouhadiba, Tayeb and Maraninchi, Florence}, title = {{Modeling Power Consumption and Temperature in TLM Models}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {03:1--03:29}, ISSN = {2199-2002}, year = {2016}, volume = {3}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a003}, doi = {10.4230/LITES-v003-i001-a003}, annote = {Keywords: Power consumption, Temperature control, Virtual prototype, SystemC, Transactional modeling} } @Article{goossens_et_al:LITES-v003-i001-a004, author = {Goossens, Jo\"{e}l and Richard, Pascal}, title = {{Optimal Scheduling of Periodic Gang Tasks}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {04:1--04:18}, ISSN = {2199-2002}, year = {2016}, volume = {3}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a004}, doi = {10.4230/LITES-v003-i001-a004}, annote = {Keywords: Real-time systems, Scheduling, Parallel tasks} } @Article{lv_et_al:LITES-v003-i001-a005, author = {Lv, Mingsong and Guan, Nan and Reineke, Jan and Wilhelm, Reinhard and Yi, Wang}, title = {{A Survey on Static Cache Analysis for Real-Time Systems}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {05:1--05:48}, ISSN = {2199-2002}, year = {2016}, volume = {3}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a005}, doi = {10.4230/LITES-v003-i001-a005}, annote = {Keywords: Hard real-time, Cache analysis, Worst-case execution time} }