@techreport{scheduling-of-mixed-criticality-applications, author = {Georgia Giannopoulou and Nikolay Stoimenov and Pengcheng Huang and Lothar Thiele}, title = {Scheduling of Mixed-Criticality Applications on Resource-Sharing Multicore Systems}, institution = {Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland}, type = {\unskip\space}, year = 2013 } @techreport{privatization-and-fixed-priority-scheduling, author = {Leonardo Ecco and Rolf Ernst and Selma Saidi and Sebastian Tobuschat}, title = {Privatization and Fixed Priority Scheduling}, institution = {Institute of Computer and Network Engineering, TU Braunschweig, Germany}, type = {\unskip\space}, year = 2014 } @techreport{mapping-mixed-criticality-applications-on, author = {Georgia Giannopoulou and Pengcheng Huang and Nikolay Stoimenov and Lothar Thiele}, title = {Mapping Mixed-Criticality Applications on Multi-Core Architectures}, institution = {Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland}, type = {\unskip\space}, year = 2013 } @techreport{multicore-mixed-criticality-with-a, author = {Emanuel Berg}, title = {Multicore mixed-criticality with a hierarchical real-time scheduler and resource servers}, institution = {Department of Information Technology, Uppsala University, Sweden}, type = {\unskip\space}, year = 2015 } @techreport{workload-aware-shaping-of-shared, author = {Leonardo Ecco and Rolf Ernst and Moritz Neukirchner and Sebastian Tobuschat}, title = {Workload-aware Shaping of Shared Resource Accesses in Mixed-criticality Systems}, institution = {Institute of Computer and Network Engineering, Technische Universität Braunschweig}, type = {\unskip\space}, year = 2014 } @techreport{memory-architectures-for-noc-based, author = {Neil Audsley}, title = {Memory architectures for NoC-based real-time mixed criticality systems}, institution = {Department of Computer Science, University of York, UK}, type = {\unskip\space}, year = 2013 } @book{linux, title = {Linux: Installation, Configuration, and Use}, author = {Michael Kofler}, publisher = {Addison-Wesley}, edition = {Second Edition}, year = 1999, ISBN = 0201596288 } @article{baruah, title = {Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor}, author = {Sanjoy Baruah, Louis Rosier, Rodney Howell}, journal = {Real-Time Systems}, volume = 2, issue = 4, year = 1990, } @article{ieee_hs, title = {Periodic Resource Model for Compositional Real-Time Guarantees}, author = {Insik Shin and Insup Lee}, publisher = {IEEE}, journal = {2003 Proceedings of the 24th IEEE International RTSS}, year = 2003, } @book{rtssva, title = {Real-time Systems: Specification, Verification, and Analysis}, author = {Mathai Joseph et. al}, publisher = {Prentice Hall}, year = 1996, ISBN = {0-13-455297-0} } @book{lang, title = {Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX}, edition = {Fourth edition}, author = {Burns and Wellings}, publisher = {Addison-Wesley}, year = 2009, ISBN = {978-0-321-41745-9} } @book{unix_intro, title = {UNIX Systems}, author = {Douglas Troy}, publisher = {Addison-Wesley}, year = 1990, ISBN = {0-201-19827-4} } @book{rtspls, title = {Real-Time Systems and Programming Languages}, author = {Burns and Wellings}, edition = {Second edition}, publisher = {Addison-Wesley}, year = 1997, ISBN = {0-201-40365-X} } @book{rtss, title = {Real-Time Systems and Software}, author = {Alan Shaw}, publisher = {John Wiley and Sons}, year = 2001, ISBN = {0-471-35490-2} } @book{stigge, title = {Real-Time Workload Models: Expressiveness vs. Analysis Efficiency}, author = {Martin Stigge}, publisher = {Uppsala University}, year = 2014, ISBN = {978-91-554-8888-8}, ISSN = {1104-2516} } @article{multiframe, author = {Aloysius Mok and Deji Chen}, title = {A Multiframe Model for Real-Time Tasks}, journal = {IEEE Transactions on Software Engineering}, year = 1996, volume = 23, } @book{mok, title = {Fundamental design problems of distributed systems for the hard-real-time environment}, author = {Aloysius Mok}, publisher = {Massachusetts Institute of Technology}, year = 1983 } @article{periodicmodel, author = {James Layland and Chang Liu}, title = {Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment}, journal = {JACM}, year = 1973, number = 1, volume = 20 } @inproceedings{media, author = {Abeni and Buttazzo}, booktitle = {Real-Time Systems Symposium. 19th IEEE Proceedings}, title = {Integrating Multimedia Applications in Hard Real-Time Systems}, year = 1998 } @inproceedings{heechul2, author = {Heechul Yun and Gang Yao and Pellizzoni, R. and Caccamo, M. and Lui Sha}, booktitle = {Real-Time Systems (ECRTS) 2012 24th Euromicro Conference}, title = {Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality}, year = 2012, ISSN = {1068-3070} } @techreport{heechul, author = {Heechul Yun et al.}, title = {MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms}, institution = {University of Illinois at Urbana-Champaigne}, type = {\unskip\space}, year = 2013 } @techreport{hyoseung, author = {Hyoseung Kim et al.}, title = {Bounding memory interference delay in COTS-based multi-core systems}, institution = {Carnegie Mellon University}, type = {\unskip\space}, year = 2014 } @book{dyson, author = {Peter Dyson}, title = {The Unix Desk Reference: The hu.man Pages}, publisher = {SYBEX}, year = 1996, ISBN = {0-7821-1658-2} } @book{cpp, author = {Bjarne Stroustrup}, title = {The C++ Programming Language}, edition = {Second Edition}, publisher = {Addison-Wesley}, year = 1992, ISBN = {0-201-53992-6} } @book{saraswat, author = {Vijay Saraswat}, title = {Concurrent Constraint Programming}, publisher = {MIT Press}, year = 1993, ISBN = {0-262-19297-7} } @book{apt, author = {Krzysztof Apt}, title = {Principles of Constraint Programming}, publisher = {Cambridge University Press}, year = 2003, ISBN = {0-521-82583-0} } @book{marriott, author = {Kim Marriott and Peter Stuckey}, title = {Programming with Constraints}, subtitle = {An introduction}, publisher = {MIT Press}, year = 1998, ISBN = {0-262-13341-5} } @book{ammann, author = {Paul Ammann and Jeff Offut}, title = {Introduction to Software Testing}, publisher = {Cambridge University Press}, year = 2008, ISBN = {978-0-521-88038-1}, edition = {6th edition} } @book{luger, author = {George Luger}, title = {Artificial Intelligence}, subtitle = {Structures and Strategies for Complex Problem Solving}, publisher = {Pearson/Addison-Wesley}, year = 2009, ISBN = {0-321-54589-3} } @book{padron, author = {Padron-McCarthy and Risch}, title = {Databasteknik}, publisher = {Studentlitteratur}, year = 2005, ISBN = {978-91-44-04449-1} } @book{mcfadden, author = {McFadden and Hoffer and Prescott}, title = {Modern Database Management}, publisher = {Addison-Wesley}, year = 1998, ISBN = {0-8053-6054-9}, edition = {5th edition} } @book{vägen-till-c, author = {Bitting and Skansholm}, title = {Vägen till C}, publisher = {Studentlitteratur}, year = 2000, ISBN = {978-91-44-01468-5}, edition = {Tredje upplagan} } @book{cormen, author = {Cormen and Leiserson and Rivest and Stein}, title = {Introduction to Algorithms}, publisher = {MIT Press}, year = 2001, ISBN = {0-268-53196-8}, edition = {2nd edition} } @book{appel, author = {Andrew Appel}, title = {Modern Compiler Implementation in ML}, publisher = {Cambridge University Press}, year = 1999, ISBN = {0-521-60764-7} } @book{angel, author = {Edward Angel}, title = {Introduction to Computer Graphics}, subtitle = {A Top-Down Approach using OpenGL}, publisher = {Pearson/Addison-Wesley}, year = 2009, ISBN = {0-321-54943-3}, edition = {5th edition} } @book{cameron, author = {Cameron and Elliot and Loy and Raymond and Rosenblatt}, title = {Learning GNU Emacs}, publisher = {O'Reilly}, year = 2004, ISBN = {0-596-00648-9}, edition = {3rd edition} } @book{advunix, author = {Ronald Leach}, title = {Advanced Topics in UNIX: Processes, Files, and Systems}, publisher = {John Wiley and Sons}, year = 1994, ISBN = {0-471-03663-3} } @article{codd, author = {Edgar Codd}, title = {A Relational Model of Data for Large Shared Data Banks}, publisher = {O'Reilly}, year = 1970, journal = {Communications of the ACM}, volume = 13, number = 6, edition = {3rd edition} }