source: rtems-docs/common/refs.bib @ d4670fe

5
Last change on this file since d4670fe was d4670fe, checked in by Sebastian Huber <sebastian.huber@…>, on 07/11/19 at 07:05:10

refs: Add ECSS standard references

Add the ECSS standards in a separate block. Use a custom label scheme
to make citations easier.

  • Property mode set to 100644
File size: 17.5 KB
Line 
1% Use <AUTHOR>:<YEAR>:<TOPIC> for the reference labels.
2% Use the surname of the main author for AUTHOR.
3% Sort lexicographically by (YEAR, AUTHOR, TOPIC).
4@article{Liu:1973:Scheduling,
5  author      = {Liu, C. L. and Layland, James W.},
6  title       = {{Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment}},
7  journal     = {Journal of the ACM},
8  volume      = {20},
9  year        = {1973},
10  pages       = {46-61},
11}
12@inproceedings{Varghese:1987:TimerWheel,
13  author      = {Varghese, G. and Lauck, T.},
14  title       = {{Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility}},
15  booktitle   = {Proceedings of the 11th ACM Symposium on Operating Systems Principles},
16  year        = {1987},
17  url         = {http://www.cs.columbia.edu/~nahum/w6998/papers/sosp87-timing-wheels.pdf},
18}
19@manual{Motorola:1988:RTEID,
20  author       = {Motorola},
21  title        = {{Real Time Executive Interface Definition}},
22  organization = {Motorola Inc., Microcomputer Division and Software Components Group, Inc.},
23  note         = {DRAFT 2.1},
24  year         = {1988},
25  month        = {January},
26  url          = {https://ftp.rtems.org/pub/rtems/publications/RTEID-ORKID/RTEID-2.1/RTEID-2_1.pdf}
27}
28@inproceedings{Lehoczky:1989:RM,
29  author      = {Lehoczky, J. and Sha, L. and Ding, Y.},
30  booktitle   = {Real-Time Systems Symposium},
31  title       = {{The rate monotonic scheduling algorithm: exact characterization and average case behavior}},
32  year        = {1989},
33  pages       = {166-171},
34}
35@inproceedings{Lehoczky:1990:Arbitrary,
36  author      = {Lehoczky, J. P.},
37  booktitle   = {11th Real-Time Systems Symposium},
38  title       = {{Fixed priority scheduling of periodic task sets with arbitrary deadlines}},
39  year        = {1990},
40  pages       = {201-209},
41}
42@article{Sha:1990:Ada,
43  author      = {Sha, Lui and Goodenough, J. B.},
44  journal     = {Computer},
45  title       = {{Real-time scheduling theory and Ada}},
46  year        = {1990},
47  volume      = {23},
48  pages       = {53-62},
49}
50@article{Sha:1990:PI,
51  author      = {Sha, Lui and Rajkumar, Ragunathan and Lehoczky, John P.},
52  journal     = {IEEE Transactions on Computers},
53  title       = {{Priority Inheritance Protocols: An Approach to Real-Time Synchronization}},
54  year        = {1990},
55  volume      = {39},
56  pages       = {1175-1185},
57}
58@manual{VITA:1990:ORKID,
59  author       = {VITA},
60  title        = {{Open Real-Time Kernel Interface Definition}},
61  organization = {VITA, the VMEbus International Trade Association},
62  note         = {Draft 2.1},
63  year         = {1990},
64  month        = {August},
65  url          = {https://ftp.rtems.org/pub/rtems/publications/RTEID-ORKID/ORKID-2.1/ORKID-2_1.pdf}
66}
67@ARTICLE{Burns:1991:Review,
68  author      = {Burns, A.},
69  journal     = {Software Engineering Journal},
70  title       = {{Scheduling hard real-time systems: a review}},
71  year        = {1991},
72  volume      = {6},
73  pages       = {116-128},
74}
75@techreport{Varghese:1995:BSDCallout,
76  author      = {Varghese, G. and Costello, A.},
77  title       = {{Redesigning the BSD callout and timer facilities}},
78  institution = {Washington University in St. Louis},
79  note        = {WUCS-95-23},
80  year        = {1995},
81  month       = {November},
82  url         = {http://web.mit.edu/afs.new/sipb/user/daveg/ATHENA/Info/wucs-95-23.ps},
83}
84@techreport{RFC2119,
85  author        = {Scott Bradner},
86  title         = {{Key words for use in RFCs to Indicate Requirement Levels}},
87  howpublished  = {Internet Requests for Comments},
88  type          = {BCP},
89  number        = {14},
90  year          = {1997},
91  month         = {March},
92  issn          = {2070-1721},
93  publisher     = {RFC Editor},
94  institution   = {RFC Editor},
95  url           = {http://www.rfc-editor.org/rfc/rfc2119.txt},
96  note          = {\url{http://www.rfc-editor.org/rfc/rfc2119.txt}},
97}
98@article{Blumofe:1999:WS,
99  author      = {Blumofe, Robert D. and Leiserson, Charles E.},
100  title       = {{Scheduling multithreaded computations by work stealing}},
101  journal     = {Journal of the ACM},
102  year        = 1999,
103  pages       = {720-748},
104  volume      = 46,
105}
106@book{Burns:2001:RealTimeSystems,
107  author      = {Burns, A. and Wellings, A. J.},
108  title       = {{Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX}},
109  year        = {2001},
110  month       = {November},
111  isbn        = {978-0321417459},
112  publisher   = {Addison-Wesley},
113}
114@inproceedings{Franke:2002:Futex,
115  author      = {Franke, Hubertus and Russel, Rusty and Kirkwood, Matthew},
116  title       = {{Fuss, Futexes and Furwocks: Fast Userlevel Locking in Linux}},
117  booktitle   = {Proceedings of the Ottawa Linux Symposium 2002},
118  pages       = {479-495},
119  year        = {2002},
120  url         = {https://www.kernel.org/doc/ols/2002/ols2002-pages-479-495.pdf},
121}
122@misc{Kamp:2002:Timecounters,
123  author      = {Kamp, Poul-Henning},
124  title       = {{Timecounters: Efficient and precise timekeeping in SMP kernels.}},
125  year        = {2002},
126  url         = {http://www.freebsd.dk/pubs/timecounter.pdf},
127}
128@inproceedings{Robertson:2003:ULE,
129  author      = {Robertson, Jeff},
130  title       = {{ULE: A Modern Scheduler For FreeBSD}},
131  booktitle   = {Proceedings of BSDCon ’03},
132  year        = {2003},
133  url         = {https://www.usenix.org/legacy/event/bsdcon03/tech/full_papers/roberson/roberson.pdf},
134}
135@book{Lookheed:2005:JSFAV,
136  title       = {{Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program}},
137  year        = {2005},
138  month       = {December},
139  publisher   = {Lockheed Martin Corporation},
140  url         = {http://www.stroustrup.com/JSF-AV-rules.pdf},
141}
142@book{Buttazzo:2005:SRS,
143  author      = {Buttazzo, Giorgio and Lipari, Giuseppe and Abeni, Luca and Caccamo, Marco},
144  title       = {{Soft Real-Time Systems: Predictability vs. Efficiency (Series in Computer Science)}},
145  year        = {2005},
146  publisher   = {Plenum Publishing Co.},
147}
148@inproceedings{Gleixner:2006:Hrtimers,
149  author      = {Gleixner, Thomas and Niehaus, Douglas},
150  title       = {{Hrtimers and Beyond: Transforming the Linux Time Subsystems}},
151  booktitle   = {Proceedings of the Linux Symposium},
152  pages       = {333-346},
153  year        = {2006},
154  url         = {https://www.kernel.org/doc/ols/2006/ols2006v1-pages-333-346.pdf},
155}
156@manual{Drepper:2007:Memory,
157  author      = {Drepper, Ulrich},
158  title       = {{What Every Programmer Should Know About Memory}},
159  year        = {2007},
160  url         = {http://www.akkadia.org/drepper/cpumemory.pdf},
161}
162@inproceedings{Mavin:2009:EARS,
163  author      = {Mavin, Alistair and Wilkinson, Philip and Harwood, Adrian and Novak, Mark},
164  title       = {{Easy approach to requirements syntax (EARS)}},
165  year        = {2009},
166  month       = {10},
167  pages       = {317-322},
168  doi         = {10.1109/RE.2009.9},
169  url         = {https://www.researchgate.net/publication/224079416_Easy_approach_to_requirements_syntax_EARS/link/568ce3bf08aeb488ea311990/download},
170}
171@inproceedings{Leijen:2009:TPL,
172  author      = {Leijen, Daan and Schulte, Wolfram and Burckhardt, Sebastian},
173  title       = {{The Design of a Task Parallel Library}},
174  booktitle   = {Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09)},
175  year        = {2009},
176  month       = {September},
177  publisher   = {ACM SIGPLAN},
178  url         = {https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/TheDesignOfATaskParallelLibraryoopsla2009.pdf},
179  address     = {Atlanta, FL},
180}
181@inproceedings{Mavin:2010:BigEars,
182  author      = {Mavin, Alistair and Wilkinson, Philip},
183  title       = {{Big Ears (The Return of Easy Approach to Requirements Engineering)}},
184  year        = {2010},
185  month       = {11},
186  pages       = {277-282},
187  doi         = {10.1109/RE.2010.39},
188  url         = {https://www.researchgate.net/publication/224195362_Big_Ears_The_Return_of_Easy_Approach_to_Requirements_Engineering/link/568ce39808ae197e426a075e/download},
189}
190@phdthesis{Brandenburg:2011:SL,
191  author      = {Brandenburg, Björn B.},
192  title       = {{Scheduling and Locking in Multiprocessor Real-Time Operating Systems}},
193  school      = {The University of North Carolina at Chapel Hill},
194  year        = {2011},
195  url         = {http://www.cs.unc.edu/~bbb/diss/brandenburg-diss.pdf},
196}
197@techreport{Boehm:2012:Seqlock,
198  author      = {Boehm, Hans-J.},
199  title       = {{Can Seqlocks Get Along With Programming Language Memory Models?}},
200  institution = {HP Laboratories},
201  note        = {HPL-2012-68},
202  year        = {2012},
203  month       = {June},
204  url         = {http://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf}
205}
206@techreport{Halpern:2012:CilkN3409,
207  author      = {Halpern, Pablo},
208  title       = {{Strict Fork-Join Parallelism}},
209  institution = {Intel, Corp.},
210  note        = {N3409},
211  year        = {2012},
212  month       = {September},
213  url         = {http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2012/n3409.pdf}
214}
215@book{MISRA:2012:C,
216  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},
217  title       = {{MISRA C:2012 Guidelines for the Use of the C Language in Critical Systems}},
218  year        = {2013},
219  month       = {March},
220  isbn        = {978-1906400101},
221  publisher   = {MISRA Limited},
222}
223@book{Williams:2012:CA,
224  author      = {Williams, Anthony},
225  title       = {{C++ Concurrency in Action - Practical Multithreading}},
226  year        = {2012},
227  isbn        = {978-1933988771},
228  publisher   = {Manning Publications Co},
229}
230@techreport{Halpern:2013:CilkN3557,
231  author      = {Halpern, Pablo},
232  title       = {{Considering a Fork-Join Parallelism Library}},
233  institution = {Intel, Corp.},
234  note        = {N3557},
235  year        = {2013},
236  month       = {March},
237  url         = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3557.pdf}
238}
239@inproceedings{Brandenburg:2013:OMIP,
240  author      = {Brandenburg, Björn B.},
241  title       = {{A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications}},
242  booktitle   = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
243  pages       = {292-302},
244  year        = {2013},
245  url         = {http://www.mpi-sws.org/~bbb/papers/pdf/ecrts13b.pdf},
246}
247@inproceedings{Burns:2013:MrsP,
248  author      = {Burns, A. and Wellings, A. J.},
249  title       = {{A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP}},
250  booktitle   = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
251  year        = {2013},
252  url         = {http://www-users.cs.york.ac.uk/~burns/MRSPpaper.pdf},
253}
254@manual{Drepper:2013:TLS,
255  author      = {Drepper, Ulrich},
256  title       = {{ELF Handling For Thread-Local Storage}},
257  year        = {2013},
258  url         = {http://www.akkadia.org/drepper/tls.pdf},
259}
260@inproceedings{Gujarati:2013:LPP,
261  author    = {Gujarati, Arpan and Cerqueira, Felipe and Brandenburg, Björn B.},
262  title     = {{Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities}},
263  booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)},
264  year      = {2013},
265  url       = {https://people.mpi-sws.org/~bbb/papers/pdf/ecrts13a-rev1.pdf},
266}
267@book{PRQA:2013:HIC,
268  title       = {{High Integrity C++ Coding Standard Version 4.0}},
269  year        = {2013},
270  month       = {October},
271  publisher   = {Programming Research Ltd},
272  url         = {http://www.codingstandard.com/},
273}
274@book{Wiegers:2013:SR,
275  author      = {Wiegers, Karl and Beatty, Joy},
276  title       = {{Software Requirements}},
277  edition     = {3},
278  year        = {2013},
279  isbn        = {0735679665, 9780735679665},
280  publisher   = {Microsoft Press},
281}
282@inproceedings{Cerqueira:2014:LPA,
283  author    = {Cerqueira, Felipe and Gujarati, Arpan and Brandenburg, Björn B.},
284  title     = {{Linux’s Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability}},
285  booktitle = {Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS 2014)},
286  year      = {2014},
287  url       = {http://www.mpi-sws.org/~bbb/papers/pdf/rtss14f.pdf},
288}
289@inproceedings{Compagnin:2014:RUN,
290  author    = {Compagnin, Davide and Mezzetti, Enrico and Vardanega, Tullio},
291  title     = {{Putting RUN into practice: implementation and evaluation}},
292  booktitle = {Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014)},
293  year      = {2014},
294}
295@article{Browning:2014:RequirementsManagement,
296  author      = {Browning, Jace and Adams, Robert},
297  title       = {{Doorstop: Text-Based Requirements Management Using Version Control}},
298  journal     = {Journal of Software Engineering and Applications},
299  volume      = {7},
300  year        = {2014},
301  pages       = {187-194},
302  url         = {http://www.scirp.org/pdf/JSEA_2014032713545074.pdf},
303}
304@techreport{Robinson:2014:CilkN3872,
305  author      = {Robinson, Arch},
306  title       = {{A Primer on Scheduling Fork-Join Parallelism with Work Stealing}},
307  institution = {Intel, Corp.},
308  note        = {N3872},
309  year        = {2014},
310  month       = {January},
311  url         = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf}
312}
313@inproceedings{Catellani:2015:MrsP,
314  author      = {Catellani, Sebastiano and Bonato, Luca and Huber, Sebastian and Mezzetti, Enrico},
315  title       = {{Challenges in the Implementation of MrsP}},
316  booktitle   = {Reliable Software Technologies - Ada-Europe 2015},
317  pages       = {179-195},
318  year        = {2015},
319}
320@inproceedings{Huang:2015:RTB,
321  author      = {Huang, Wen-Hung and Chen, Jian-Jia},
322  title       = {Response Time Bounds for Sporadic Arbitrary-deadline Tasks Under Global Fixed-priority Scheduling on Multiprocessors},
323  booktitle   = {ACM Proceedings of the 23rd International Conference on Real Time and Networks Systems},
324  year        = {2015},
325  pages       = {215-224},
326}
327@book{CERT:2016:CCS,
328  title       = {{SEI CERT C Coding Standard}},
329  year        = {2016},
330  publisher   = {Carnegie Mellon University},
331}
332@inproceedings{Chen:2016:Overrun,
333  author      = {Chen, Kuan-Hsun and von der Br\"uggen, Georg and Chen, Jian-Jia},
334  title       = {{Overrun Handling for Mixed-Criticality Support in RTEMS}},
335  booktitle   = {Mixed Criticality Systems - WMC 2016},
336  pages       = {13-14},
337  year        = {2016},
338  url         = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2016-wmc.pdf},
339}
340@inproceedings{vonderBr:2016:DynRT,
341  author      = {von der Br\"uggen, Georg and Chen, Kuan-Hsun and Huang, Wen-Hung and Chen, Jian-Jia},
342  booktitle   = {IEEE Real-Time Systems Symposium (RTSS)},
343  title       = {{Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments}},
344  year        = {2016},
345  pages       = {303-314},
346}
347@inproceedings{Lozi:2016:LSDWC,
348  author    = {Lozi, Jean-Pierre and Lepers, Baptiste and Funston, Justin and Gaud, Fabien and Quéma, Vivien and Fedorova, Alexandra},
349  title     = {{The Linux Scheduler: a Decade of Wasted Cores}},
350  booktitle = {Proceedings of the Eleventh European Conference on Computer Systems (EuroSys '16)},
351  year      = {2016},
352  url       = {https://hal.archives-ouvertes.fr/hal-01295194/document},
353}
354@misc{RTEMS:CPU,
355  title     = {{RTEMS CPU Architecture Supplement}},
356  url       = {https://docs.rtems.org/branches/master/cpu-supplement.pdf},
357}
358% ECSS
359% Sort lexicographically
360@manual{ECSS_E_ST_10_02C_R1,
361  author       = {ECSS},
362  organization = {European Cooperation for Space Standardization},
363  title        = {{ECSS-E-ST-10-02C - Space engineering - Verification}},
364  year         = {2018},
365  url          = {https://ecss.nl/standard/ecss-e-st-10-02c-rev-1-verification-1-february-2018/},
366}
367@manual{ECSS_E_ST_10_06C,
368  author       = {ECSS},
369  organization = {European Cooperation for Space Standardization},
370  title        = {{ECSS-E-ST-10-06C - Technical requirements specification}},
371  year         = {2009},
372  url          = {https://ecss.nl/standard/ecss-e-st-10-06c-technical-requirements-specification/},
373}
374@manual{ECSS_E_ST_10C_R1,
375  author       = {ECSS},
376  organization = {European Cooperation for Space Standardization},
377  title        = {{ECSS-E-ST-10C Rev.1 - System engineering general requirements}},
378  year         = {2017},
379  url          = {https://ecss.nl/standard/ecss-e-st-10c-rev-1-system-engineering-general-requirements-15-february-2017/},
380}
381@manual{ECSS_E_ST_40C,
382  author       = {ECSS},
383  organization = {European Cooperation for Space Standardization},
384  title        = {{ECSS-E-ST-40C - Software general requirements}},
385  year         = {2009},
386  url          = {https://ecss.nl/standard/ecss-e-st-40c-software-general-requirements/},
387}
388@manual{ECSS_M_ST_40C_R1,
389  author       = {ECSS},
390  organization = {European Cooperation for Space Standardization},
391  title        = {{ECSS-M-ST-40C Rev.1 - Configuration and information management}},
392  year         = {2009},
393  url          = {https://ecss.nl/standard/ecss-m-st-40c-rev-1-configuration-and-information-management/},
394}
395@manual{ECSS_Q_ST_80C_R1,
396  author       = {ECSS},
397  organization = {European Cooperation for Space Standardization},
398  title        = {{ECSS-Q-ST-80C Rev.1 - Software product assurance}},
399  year         = {2017},
400  url          = {https://ecss.nl/standard/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017/},
401}
402@manual{ECSS_S_ST_00_01C,
403  author       = {ECSS},
404  organization = {European Cooperation for Space Standardization},
405  title        = {{ECSS-S-ST-00-01C - Glossary of terms}},
406  year         = {2012},
407  url          = {https://ecss.nl/standard/ecss-s-st-00-01c-glossary-of-terms-1-october-2012/},
408}
Note: See TracBrowser for help on using the repository browser.