% Use <AUTHOR>:<YEAR>:<TOPIC> for the reference labels.
% Use the surname of the main author for AUTHOR.
% Sort lexicographically by (YEAR, AUTHOR, TOPIC).
@article{Liu:1973:Scheduling,
author = {Liu, C. L. and Layland, James W.},
title = {{Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment}},
journal = {Journal of the ACM},
volume = {20},
year = {1973},
pages = {46-61},
}
@inproceedings{Varghese:1987:TimerWheel,
author = {Varghese, G. and Lauck, T.},
title = {{Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility}},
booktitle = {Proceedings of the 11th ACM Symposium on Operating Systems Principles},
year = {1987},
url = {http://www.cs.columbia.edu/~nahum/w6998/papers/sosp87-timing-wheels.pdf},
}
@manual{Motorola:1988:RTEID,
author = {Motorola},
title = {{Real Time Executive Interface Definition}},
organization = {Motorola Inc., Microcomputer Division and Software Components Group, Inc.},
note = {DRAFT 2.1},
year = {1988},
month = {January},
url = {https://ftp.rtems.org/pub/rtems/publications/RTEID-ORKID/RTEID-2.1/RTEID-2_1.pdf}
}
@inproceedings{Lehoczky:1989:RM,
author = {Lehoczky, J. and Sha, L. and Ding, Y.},
booktitle = {Real-Time Systems Symposium},
title = {{The rate monotonic scheduling algorithm: exact characterization and average case behavior}},
year = {1989},
pages = {166-171},
}
@inproceedings{Lehoczky:1990:Arbitrary,
author = {Lehoczky, J. P.},
booktitle = {11th Real-Time Systems Symposium},
title = {{Fixed priority scheduling of periodic task sets with arbitrary deadlines}},
year = {1990},
pages = {201-209},
}
@article{Sha:1990:Ada,
author = {Sha, Lui and Goodenough, J. B.},
journal = {Computer},
title = {{Real-time scheduling theory and Ada}},
year = {1990},
volume = {23},
pages = {53-62},
}
@article{Sha:1990:PI,
author = {Sha, Lui and Rajkumar, Ragunathan and Lehoczky, John P.},
journal = {IEEE Transactions on Computers},
title = {{Priority Inheritance Protocols: An Approach to Real-Time Synchronization}},
year = {1990},
volume = {39},
pages = {1175-1185},
}
@manual{VITA:1990:ORKID,
author = {VITA},
title = {{Open Real-Time Kernel Interface Definition}},
organization = {VITA, the VMEbus International Trade Association},
note = {Draft 2.1},
year = {1990},
month = {August},
url = {https://ftp.rtems.org/pub/rtems/publications/RTEID-ORKID/ORKID-2.1/ORKID-2_1.pdf}
}
@ARTICLE{Burns:1991:Review,
author = {Burns, A.},
journal = {Software Engineering Journal},
title = {{Scheduling hard real-time systems: a review}},
year = {1991},
volume = {6},
pages = {116-128},
}
@techreport{Varghese:1995:BSDCallout,
author = {Varghese, G. and Costello, A.},
title = {{Redesigning the BSD callout and timer facilities}},
institution = {Washington University in St. Louis},
note = {WUCS-95-23},
year = {1995},
month = {November},
url = {http://web.mit.edu/afs.new/sipb/user/daveg/ATHENA/Info/wucs-95-23.ps},
}
@techreport{RFC2119,
author = {Scott Bradner},
title = {{Key words for use in RFCs to Indicate Requirement Levels}},
howpublished = {Internet Requests for Comments},
type = {BCP},
number = {14},
year = {1997},
month = {March},
issn = {2070-1721},
publisher = {RFC Editor},
institution = {RFC Editor},
url = {http://www.rfc-editor.org/rfc/rfc2119.txt},
note = {\url{http://www.rfc-editor.org/rfc/rfc2119.txt}},
}
@article{Blumofe:1999:WS,
author = {Blumofe, Robert D. and Leiserson, Charles E.},
title = {{Scheduling multithreaded computations by work stealing}},
journal = {Journal of the ACM},
year = 1999,
pages = {720-748},
volume = 46,
}
@book{Burns:2001:RealTimeSystems,
author = {Burns, A. and Wellings, A. J.},
title = {{Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX}},
year = {2001},
month = {November},
isbn = {978-0321417459},
publisher = {Addison-Wesley},
}
@inproceedings{Franke:2002:Futex,
author = {Franke, Hubertus and Russel, Rusty and Kirkwood, Matthew},
title = {{Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux}},
booktitle = {Proceedings of the Ottawa Linux Symposium 2002},
pages = {479-495},
year = {2002},
url = {https://www.kernel.org/doc/ols/2002/ols2002-pages-479-495.pdf},
}
@misc{Kamp:2002:Timecounters,
author = {Kamp, Poul-Henning},
title = {{Timecounters: Efficient and precise timekeeping in SMP kernels.}},
year = {2002},
url = {http://www.freebsd.dk/pubs/timecounter.pdf},
}
@inproceedings{Robertson:2003:ULE,
author = {Robertson, Jeff},
title = {{ULE: A Modern Scheduler For FreeBSD}},
booktitle = {Proceedings of BSDCon ’03},
year = {2003},
url = {https://www.usenix.org/legacy/event/bsdcon03/tech/full_papers/roberson/roberson.pdf},
}
@book{Lookheed:2005:JSFAV,
title = {{Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program}},
year = {2005},
month = {December},
publisher = {Lockheed Martin Corporation},
url = {http://www.stroustrup.com/JSF-AV-rules.pdf},
}
@book{Buttazzo:2005:SRS,
author = {Buttazzo, Giorgio and Lipari, Giuseppe and Abeni, Luca and Caccamo, Marco},
title = {{Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science)}},
year = {2005},
publisher = {Plenum Publishing Co.},
}
@inproceedings{Gleixner:2006:Hrtimers,
author = {Gleixner, Thomas and Niehaus, Douglas},
title = {{Hrtimers and Beyond: Transforming the Linux Time Subsystems}},
booktitle = {Proceedings of the Linux Symposium},
pages = {333-346},
year = {2006},
url = {https://www.kernel.org/doc/ols/2006/ols2006v1-pages-333-346.pdf},
}
@manual{Drepper:2007:Memory,
author = {Drepper, Ulrich},
title = {{What Every Programmer Should Know About Memory}},
year = {2007},
url = {http://www.akkadia.org/drepper/cpumemory.pdf},
}
@inproceedings{Mavin:2009:EARS,
author = {Mavin, Alistair and Wilkinson, Philip and Harwood, Adrian and Novak, Mark},
title = {{Easy approach to requirements syntax (EARS)}},
booktitle = {17th Requirements Engineering Conference},
year = {2009},
month = {10},
pages = {317-322},
doi = {10.1109/RE.2009.9},
url = {https://www.researchgate.net/profile/Alistair_Mavin/publication/224079416_Easy_approach_to_requirements_syntax_EARS/links/568ce3bf08aeb488ea311990/Easy-approach-to-requirements-syntax-EARS.pdf},
}
@inproceedings{Leijen:2009:TPL,
author = {Leijen, Daan and Schulte, Wolfram and Burckhardt, Sebastian},
title = {{The Design of a Task Parallel Library}},
booktitle = {Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09)},
year = {2009},
month = {September},
publisher = {ACM SIGPLAN},
url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/TheDesignOfATaskParallelLibraryoopsla2009.pdf},
address = {Atlanta, FL},
}
@inproceedings{Mavin:2010:BigEars,
author = {Mavin, Alistair and Wilkinson, Philip},
title = {{Big Ears (The Return of Easy Approach to Requirements Engineering)}},
booktitle = {18th Requirements Engineering Conference},
year = {2010},
month = {11},
pages = {277-282},
doi = {10.1109/RE.2010.39},
url = {https://www.researchgate.net/profile/Alistair_Mavin/publication/224195362_Big_Ears_The_Return_of_Easy_Approach_to_Requirements_Engineering/links/568ce39808ae197e426a075e/Big-Ears-The-Return-of-Easy-Approach-to-Requirements-Engineering.pdf},
}
@phdthesis{Brandenburg:2011:SL,
author = {Brandenburg, Björn B.},
title = {{Scheduling and Locking in Multiprocessor Real-Time Operating Systems}},
school = {The University of North Carolina at Chapel Hill},
year = {2011},
url = {http://www.cs.unc.edu/~bbb/diss/brandenburg-diss.pdf},
}
@techreport{Boehm:2012:Seqlock,
author = {Boehm, Hans-J.},
title = {{Can Seqlocks Get Along With Programming Language Memory Models?}},
institution = {HP Laboratories},
note = {HPL-2012-68},
year = {2012},
month = {June},
url = {http://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf}
}
@techreport{Halpern:2012:CilkN3409,
author = {Halpern, Pablo},
title = {{Strict Fork-Join Parallelism}},
institution = {Intel, Corp.},
note = {N3409},
year = {2012},
month = {September},
url = {http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2012/n3409.pdf}
}
@book{MISRA:2012:C,
author = {Banham, Dave and Banks, Andrew and Bradbury, Mark and Burden, Paul and Dawson-Butterworth, Mark and Hennell, Mike and Hills, Chris and Montgomery, Steve and Tapp, Chris and Whiting, Liz},
title = {{MISRA C:2012 Guidelines for the Use of the C Language in Critical Systems}},
year = {2013},
month = {March},
isbn = {978-1906400101},
publisher = {MISRA Limited},
}
@manual{Uusitalo:2012:EARS,
author = {Uusitalo, Eero},
title = {{EARS quick reference sheet}},
year = {2012},
month = {January},
url = {https://aaltodoc.aalto.fi/bitstream/handle/123456789/12861/D5_uusitalo_eero_2012.pdf},
}
@book{Williams:2012:CA,
author = {Williams, Anthony},
title = {{C++ Concurrency in Action - Practical Multithreading}},
year = {2012},
isbn = {978-1933988771},
publisher = {Manning Publications Co},
}
@techreport{Halpern:2013:CilkN3557,
author = {Halpern, Pablo},
title = {{Considering a Fork-Join Parallelism Library}},
institution = {Intel, Corp.},
note = {N3557},
year = {2013},
month = {March},
url = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3557.pdf}
}
@inproceedings{Brandenburg:2013:OMIP,
author = {Brandenburg, Björn B.},
title = {{A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications}},
booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
pages = {292-302},
year = {2013},
url = {http://www.mpi-sws.org/~bbb/papers/pdf/ecrts13b.pdf},
}
@inproceedings{Burns:2013:MrsP,
author = {Burns, A. and Wellings, A. J.},
title = {{A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP}},
booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
year = {2013},
url = {http://www-users.cs.york.ac.uk/~burns/MRSPpaper.pdf},
}
@manual{Drepper:2013:TLS,
author = {Drepper, Ulrich},
title = {{ELF Handling For Thread-Local Storage}},
year = {2013},
url = {http://www.akkadia.org/drepper/tls.pdf},
}
@inproceedings{Gujarati:2013:LPP,
author = {Gujarati, Arpan and Cerqueira, Felipe and Brandenburg, Björn B.},
title = {{Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities}},
booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
year = {2013},
url = {https://people.mpi-sws.org/~bbb/papers/pdf/ecrts13a-rev1.pdf},
}
@book{PRQA:2013:HIC,
title = {{High Integrity C++ Coding Standard Version 4.0}},
year = {2013},
month = {October},
publisher = {Programming Research Ltd},
url = {http://www.codingstandard.com/},
}
@book{Wiegers:2013:SR,
author = {Wiegers, Karl and Beatty, Joy},
title = {{Software Requirements}},
edition = {3},
year = {2013},
isbn = {0735679665, 9780735679665},
publisher = {Microsoft Press},
}
@inproceedings{Cerqueira:2014:LPA,
author = {Cerqueira, Felipe and Gujarati, Arpan and Brandenburg, Björn B.},
title = {{Linux’s Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability}},
booktitle = {Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS 2014)},
year = {2014},
url = {http://www.mpi-sws.org/~bbb/papers/pdf/rtss14f.pdf},
}
@inproceedings{Compagnin:2014:RUN,
author = {Compagnin, Davide and Mezzetti, Enrico and Vardanega, Tullio},
title = {{Putting RUN into practice: implementation and evaluation}},
booktitle = {Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014)},
year = {2014},
}
@article{Browning:2014:RequirementsManagement,
author = {Browning, Jace and Adams, Robert},
title = {{Doorstop: Text-Based Requirements Management Using Version Control}},
journal = {Journal of Software Engineering and Applications},
volume = {7},
year = {2014},
pages = {187-194},
url = {http://www.scirp.org/pdf/JSEA_2014032713545074.pdf},
}
@techreport{Robinson:2014:CilkN3872,
author = {Robinson, Arch},
title = {{A Primer on Scheduling Fork-Join Parallelism with Work Stealing}},
institution = {Intel, Corp.},
note = {N3872},
year = {2014},
month = {January},
url = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf}
}
@inproceedings{Catellani:2015:MrsP,
author = {Catellani, Sebastiano and Bonato, Luca and Huber, Sebastian and Mezzetti, Enrico},
title = {{Challenges in the Implementation of MrsP}},
booktitle = {Reliable Software Technologies - Ada-Europe 2015},
pages = {179-195},
year = {2015},
}
@inproceedings{Huang:2015:RTB,
author = {Huang, Wen-Hung and Chen, Jian-Jia},
title = {Response Time Bounds for Sporadic Arbitrary-deadline Tasks Under Global Fixed-priority Scheduling on Multiprocessors},
booktitle = {ACM Proceedings of the 23rd International Conference on Real Time and Networks Systems},
year = {2015},
pages = {215-224},
}
@book{CERT:2016:CCS,
title = {{SEI CERT C Coding Standard}},
year = {2016},
publisher = {Carnegie Mellon University},
}
@inproceedings{Chen:2016:Overrun,
author = {Chen, Kuan-Hsun and von der Br\"uggen, Georg and Chen, Jian-Jia},
title = {{Overrun Handling for Mixed-Criticality Support in RTEMS}},
booktitle = {Mixed Criticality Systems - WMC 2016},
pages = {13-14},
year = {2016},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2016-wmc.pdf},
}
@inproceedings{vonderBr:2016:DynRT,
author = {von der Br\"uggen, Georg and Chen, Kuan-Hsun and Huang, Wen-Hung and Chen, Jian-Jia},
booktitle = {IEEE Real-Time Systems Symposium (RTSS)},
title = {{Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments}},
year = {2016},
pages = {303-314},
}
@inproceedings{Lozi:2016:LSDWC,
author = {Lozi, Jean-Pierre and Lepers, Baptiste and Funston, Justin and Gaud, Fabien and Quéma, Vivien and Fedorova, Alexandra},
title = {{The Linux Scheduler: a Decade of Wasted Cores}},
booktitle = {Proceedings of the Eleventh European Conference on Computer Systems (EuroSys '16)},
year = {2016},
url = {https://hal.archives-ouvertes.fr/hal-01295194/document},
}
@inproceedings{Mavin:2016:LLEARS,
author = {Mavin, Alistair and Wilkinson, Philip and Gregory, Sarah and Uusitalo, Eero},
title = {{Listens Learned (8 Lessons Learned Applying EARS)}},
booktitle = {24th International Requirements Engineering Conference},
year = {2016},
month = {September},
doi = {10.1109/RE.2016.38},
url = {https://www.researchgate.net/profile/Alistair_Mavin/publication/308970788_Listens_Learned_8_Lessons_Learned_Applying_EARS/links/5ab0d42caca2721710fe5017/Listens-Learned-8-Lessons-Learned-Applying-EARS.pdf},
}
@misc{RTEMS:CPU,
title = {{RTEMS CPU Architecture Supplement}},
url = {https://docs.rtems.org/branches/master/cpu-supplement.pdf},
}
% ECSS
% Sort lexicographically
@manual{ECSS_E_ST_10_02C_R1,
author = {ECSS},
organization = {European Cooperation for Space Standardization},
title = {{ECSS-E-ST-10-02C - Space engineering - Verification}},
year = {2018},
url = {https://ecss.nl/standard/ecss-e-st-10-02c-rev-1-verification-1-february-2018/},
}
@manual{ECSS_E_ST_10_06C,
author = {ECSS},
organization = {European Cooperation for Space Standardization},
title = {{ECSS-E-ST-10-06C - Technical requirements specification}},
year = {2009},
url = {https://ecss.nl/standard/ecss-e-st-10-06c-technical-requirements-specification/},
}
@manual{ECSS_E_ST_10C_R1,
author = {ECSS},
organization = {European Cooperation for Space Standardization},
title = {{ECSS-E-ST-10C Rev.1 - System engineering general requirements}},
year = {2017},
url = {https://ecss.nl/standard/ecss-e-st-10c-rev-1-system-engineering-general-requirements-15-february-2017/},
}
@manual{ECSS_E_ST_40C,
author = {ECSS},
organization = {European Cooperation for Space Standardization},
title = {{ECSS-E-ST-40C - Software general requirements}},
year = {2009},
url = {https://ecss.nl/standard/ecss-e-st-40c-software-general-requirements/},
}
@manual{ECSS_M_ST_40C_R1,
author = {ECSS},
organization = {European Cooperation for Space Standardization},
title = {{ECSS-M-ST-40C Rev.1 - Configuration and information management}},
year = {2009},
url = {https://ecss.nl/standard/ecss-m-st-40c-rev-1-configuration-and-information-management/},
}
@manual{ECSS_Q_ST_80C_R1,
author = {ECSS},
organization = {European Cooperation for Space Standardization},
title = {{ECSS-Q-ST-80C Rev.1 - Software product assurance}},
year = {2017},
url = {https://ecss.nl/standard/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017/},
}
@manual{ECSS_S_ST_00_01C,
author = {ECSS},
organization = {European Cooperation for Space Standardization},
title = {{ECSS-S-ST-00-01C - Glossary of terms}},
year = {2012},
url = {https://ecss.nl/standard/ecss-s-st-00-01c-glossary-of-terms-1-october-2012/},
}
