summaryrefslogtreecommitdiffstats
path: root/common/refs.bib
blob: 066d7469eb5823220c1eaef41f5991a0ecb552d4 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
% 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/},
}