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 | booktitle = {17th Requirements Engineering Conference}, |
---|
166 | year = {2009}, |
---|
167 | month = {10}, |
---|
168 | pages = {317-322}, |
---|
169 | doi = {10.1109/RE.2009.9}, |
---|
170 | 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}, |
---|
171 | } |
---|
172 | @inproceedings{Leijen:2009:TPL, |
---|
173 | author = {Leijen, Daan and Schulte, Wolfram and Burckhardt, Sebastian}, |
---|
174 | title = {{The Design of a Task Parallel Library}}, |
---|
175 | booktitle = {Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09)}, |
---|
176 | year = {2009}, |
---|
177 | month = {September}, |
---|
178 | publisher = {ACM SIGPLAN}, |
---|
179 | url = {https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/TheDesignOfATaskParallelLibraryoopsla2009.pdf}, |
---|
180 | address = {Atlanta, FL}, |
---|
181 | } |
---|
182 | @inproceedings{Mavin:2010:BigEars, |
---|
183 | author = {Mavin, Alistair and Wilkinson, Philip}, |
---|
184 | title = {{Big Ears (The Return of Easy Approach to Requirements Engineering)}}, |
---|
185 | booktitle = {18th Requirements Engineering Conference}, |
---|
186 | year = {2010}, |
---|
187 | month = {11}, |
---|
188 | pages = {277-282}, |
---|
189 | doi = {10.1109/RE.2010.39}, |
---|
190 | 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}, |
---|
191 | } |
---|
192 | @phdthesis{Brandenburg:2011:SL, |
---|
193 | author = {Brandenburg, Björn B.}, |
---|
194 | title = {{Scheduling and Locking in Multiprocessor Real-Time Operating Systems}}, |
---|
195 | school = {The University of North Carolina at Chapel Hill}, |
---|
196 | year = {2011}, |
---|
197 | url = {http://www.cs.unc.edu/~bbb/diss/brandenburg-diss.pdf}, |
---|
198 | } |
---|
199 | @techreport{Boehm:2012:Seqlock, |
---|
200 | author = {Boehm, Hans-J.}, |
---|
201 | title = {{Can Seqlocks Get Along With Programming Language Memory Models?}}, |
---|
202 | institution = {HP Laboratories}, |
---|
203 | note = {HPL-2012-68}, |
---|
204 | year = {2012}, |
---|
205 | month = {June}, |
---|
206 | url = {http://www.hpl.hp.com/techreports/2012/HPL-2012-68.pdf} |
---|
207 | } |
---|
208 | @techreport{Halpern:2012:CilkN3409, |
---|
209 | author = {Halpern, Pablo}, |
---|
210 | title = {{Strict Fork-Join Parallelism}}, |
---|
211 | institution = {Intel, Corp.}, |
---|
212 | note = {N3409}, |
---|
213 | year = {2012}, |
---|
214 | month = {September}, |
---|
215 | url = {http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2012/n3409.pdf} |
---|
216 | } |
---|
217 | @book{MISRA:2012:C, |
---|
218 | 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}, |
---|
219 | title = {{MISRA C:2012 Guidelines for the Use of the C Language in Critical Systems}}, |
---|
220 | year = {2013}, |
---|
221 | month = {March}, |
---|
222 | isbn = {978-1906400101}, |
---|
223 | publisher = {MISRA Limited}, |
---|
224 | } |
---|
225 | @manual{Uusitalo:2012:EARS, |
---|
226 | author = {Uusitalo, Eero}, |
---|
227 | title = {{EARS quick reference sheet}}, |
---|
228 | year = {2012}, |
---|
229 | month = {January}, |
---|
230 | url = {https://aaltodoc.aalto.fi/bitstream/handle/123456789/12861/D5_uusitalo_eero_2012.pdf}, |
---|
231 | } |
---|
232 | @book{Williams:2012:CA, |
---|
233 | author = {Williams, Anthony}, |
---|
234 | title = {{C++ Concurrency in Action - Practical Multithreading}}, |
---|
235 | year = {2012}, |
---|
236 | isbn = {978-1933988771}, |
---|
237 | publisher = {Manning Publications Co}, |
---|
238 | } |
---|
239 | @techreport{Halpern:2013:CilkN3557, |
---|
240 | author = {Halpern, Pablo}, |
---|
241 | title = {{Considering a Fork-Join Parallelism Library}}, |
---|
242 | institution = {Intel, Corp.}, |
---|
243 | note = {N3557}, |
---|
244 | year = {2013}, |
---|
245 | month = {March}, |
---|
246 | url = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3557.pdf} |
---|
247 | } |
---|
248 | @inproceedings{Brandenburg:2013:OMIP, |
---|
249 | author = {Brandenburg, Björn B.}, |
---|
250 | title = {{A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications}}, |
---|
251 | booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)}, |
---|
252 | pages = {292-302}, |
---|
253 | year = {2013}, |
---|
254 | url = {http://www.mpi-sws.org/~bbb/papers/pdf/ecrts13b.pdf}, |
---|
255 | } |
---|
256 | @inproceedings{Burns:2013:MrsP, |
---|
257 | author = {Burns, A. and Wellings, A. J.}, |
---|
258 | title = {{A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP}}, |
---|
259 | booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)}, |
---|
260 | year = {2013}, |
---|
261 | url = {http://www-users.cs.york.ac.uk/~burns/MRSPpaper.pdf}, |
---|
262 | } |
---|
263 | @manual{Drepper:2013:TLS, |
---|
264 | author = {Drepper, Ulrich}, |
---|
265 | title = {{ELF Handling For Thread-Local Storage}}, |
---|
266 | year = {2013}, |
---|
267 | url = {http://www.akkadia.org/drepper/tls.pdf}, |
---|
268 | } |
---|
269 | @inproceedings{Gujarati:2013:LPP, |
---|
270 | author = {Gujarati, Arpan and Cerqueira, Felipe and Brandenburg, Björn B.}, |
---|
271 | title = {{Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities}}, |
---|
272 | booktitle = {Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013)}, |
---|
273 | year = {2013}, |
---|
274 | url = {https://people.mpi-sws.org/~bbb/papers/pdf/ecrts13a-rev1.pdf}, |
---|
275 | } |
---|
276 | @book{PRQA:2013:HIC, |
---|
277 | title = {{High Integrity C++ Coding Standard Version 4.0}}, |
---|
278 | year = {2013}, |
---|
279 | month = {October}, |
---|
280 | publisher = {Programming Research Ltd}, |
---|
281 | url = {http://www.codingstandard.com/}, |
---|
282 | } |
---|
283 | @book{Wiegers:2013:SR, |
---|
284 | author = {Wiegers, Karl and Beatty, Joy}, |
---|
285 | title = {{Software Requirements}}, |
---|
286 | edition = {3}, |
---|
287 | year = {2013}, |
---|
288 | isbn = {0735679665, 9780735679665}, |
---|
289 | publisher = {Microsoft Press}, |
---|
290 | } |
---|
291 | @inproceedings{Cerqueira:2014:LPA, |
---|
292 | author = {Cerqueira, Felipe and Gujarati, Arpan and Brandenburg, Björn B.}, |
---|
293 | title = {{Linuxâs Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability}}, |
---|
294 | booktitle = {Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS 2014)}, |
---|
295 | year = {2014}, |
---|
296 | url = {http://www.mpi-sws.org/~bbb/papers/pdf/rtss14f.pdf}, |
---|
297 | } |
---|
298 | @inproceedings{Compagnin:2014:RUN, |
---|
299 | author = {Compagnin, Davide and Mezzetti, Enrico and Vardanega, Tullio}, |
---|
300 | title = {{Putting RUN into practice: implementation and evaluation}}, |
---|
301 | booktitle = {Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014)}, |
---|
302 | year = {2014}, |
---|
303 | } |
---|
304 | @article{Browning:2014:RequirementsManagement, |
---|
305 | author = {Browning, Jace and Adams, Robert}, |
---|
306 | title = {{Doorstop: Text-Based Requirements Management Using Version Control}}, |
---|
307 | journal = {Journal of Software Engineering and Applications}, |
---|
308 | volume = {7}, |
---|
309 | year = {2014}, |
---|
310 | pages = {187-194}, |
---|
311 | url = {http://www.scirp.org/pdf/JSEA_2014032713545074.pdf}, |
---|
312 | } |
---|
313 | @techreport{Robinson:2014:CilkN3872, |
---|
314 | author = {Robinson, Arch}, |
---|
315 | title = {{A Primer on Scheduling Fork-Join Parallelism with Work Stealing}}, |
---|
316 | institution = {Intel, Corp.}, |
---|
317 | note = {N3872}, |
---|
318 | year = {2014}, |
---|
319 | month = {January}, |
---|
320 | url = {http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3872.pdf} |
---|
321 | } |
---|
322 | @inproceedings{Catellani:2015:MrsP, |
---|
323 | author = {Catellani, Sebastiano and Bonato, Luca and Huber, Sebastian and Mezzetti, Enrico}, |
---|
324 | title = {{Challenges in the Implementation of MrsP}}, |
---|
325 | booktitle = {Reliable Software Technologies - Ada-Europe 2015}, |
---|
326 | pages = {179-195}, |
---|
327 | year = {2015}, |
---|
328 | } |
---|
329 | @inproceedings{Huang:2015:RTB, |
---|
330 | author = {Huang, Wen-Hung and Chen, Jian-Jia}, |
---|
331 | title = {Response Time Bounds for Sporadic Arbitrary-deadline Tasks Under Global Fixed-priority Scheduling on Multiprocessors}, |
---|
332 | booktitle = {ACM Proceedings of the 23rd International Conference on Real Time and Networks Systems}, |
---|
333 | year = {2015}, |
---|
334 | pages = {215-224}, |
---|
335 | } |
---|
336 | @book{CERT:2016:CCS, |
---|
337 | title = {{SEI CERT C Coding Standard}}, |
---|
338 | year = {2016}, |
---|
339 | publisher = {Carnegie Mellon University}, |
---|
340 | } |
---|
341 | @inproceedings{Chen:2016:Overrun, |
---|
342 | author = {Chen, Kuan-Hsun and von der Br\"uggen, Georg and Chen, Jian-Jia}, |
---|
343 | title = {{Overrun Handling for Mixed-Criticality Support in RTEMS}}, |
---|
344 | booktitle = {Mixed Criticality Systems - WMC 2016}, |
---|
345 | pages = {13-14}, |
---|
346 | year = {2016}, |
---|
347 | url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2016-wmc.pdf}, |
---|
348 | } |
---|
349 | @inproceedings{vonderBr:2016:DynRT, |
---|
350 | author = {von der Br\"uggen, Georg and Chen, Kuan-Hsun and Huang, Wen-Hung and Chen, Jian-Jia}, |
---|
351 | booktitle = {IEEE Real-Time Systems Symposium (RTSS)}, |
---|
352 | title = {{Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments}}, |
---|
353 | year = {2016}, |
---|
354 | pages = {303-314}, |
---|
355 | } |
---|
356 | @inproceedings{Lozi:2016:LSDWC, |
---|
357 | author = {Lozi, Jean-Pierre and Lepers, Baptiste and Funston, Justin and Gaud, Fabien and Quéma, Vivien and Fedorova, Alexandra}, |
---|
358 | title = {{The Linux Scheduler: a Decade of Wasted Cores}}, |
---|
359 | booktitle = {Proceedings of the Eleventh European Conference on Computer Systems (EuroSys '16)}, |
---|
360 | year = {2016}, |
---|
361 | url = {https://hal.archives-ouvertes.fr/hal-01295194/document}, |
---|
362 | } |
---|
363 | @inproceedings{Mavin:2016:LLEARS, |
---|
364 | author = {Mavin, Alistair and Wilkinson, Philip and Gregory, Sarah and Uusitalo, Eero}, |
---|
365 | title = {{Listens Learned (8 Lessons Learned Applying EARS)}}, |
---|
366 | booktitle = {24th International Requirements Engineering Conference}, |
---|
367 | year = {2016}, |
---|
368 | month = {September}, |
---|
369 | doi = {10.1109/RE.2016.38}, |
---|
370 | 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}, |
---|
371 | } |
---|
372 | @misc{RTEMS:CPU, |
---|
373 | title = {{RTEMS CPU Architecture Supplement}}, |
---|
374 | url = {https://docs.rtems.org/branches/master/cpu-supplement.pdf}, |
---|
375 | } |
---|
376 | % ECSS |
---|
377 | % Sort lexicographically |
---|
378 | @manual{ECSS_E_ST_10_02C_R1, |
---|
379 | author = {ECSS}, |
---|
380 | organization = {European Cooperation for Space Standardization}, |
---|
381 | title = {{ECSS-E-ST-10-02C - Space engineering - Verification}}, |
---|
382 | year = {2018}, |
---|
383 | url = {https://ecss.nl/standard/ecss-e-st-10-02c-rev-1-verification-1-february-2018/}, |
---|
384 | } |
---|
385 | @manual{ECSS_E_ST_10_06C, |
---|
386 | author = {ECSS}, |
---|
387 | organization = {European Cooperation for Space Standardization}, |
---|
388 | title = {{ECSS-E-ST-10-06C - Technical requirements specification}}, |
---|
389 | year = {2009}, |
---|
390 | url = {https://ecss.nl/standard/ecss-e-st-10-06c-technical-requirements-specification/}, |
---|
391 | } |
---|
392 | @manual{ECSS_E_ST_10C_R1, |
---|
393 | author = {ECSS}, |
---|
394 | organization = {European Cooperation for Space Standardization}, |
---|
395 | title = {{ECSS-E-ST-10C Rev.1 - System engineering general requirements}}, |
---|
396 | year = {2017}, |
---|
397 | url = {https://ecss.nl/standard/ecss-e-st-10c-rev-1-system-engineering-general-requirements-15-february-2017/}, |
---|
398 | } |
---|
399 | @manual{ECSS_E_ST_40C, |
---|
400 | author = {ECSS}, |
---|
401 | organization = {European Cooperation for Space Standardization}, |
---|
402 | title = {{ECSS-E-ST-40C - Software general requirements}}, |
---|
403 | year = {2009}, |
---|
404 | url = {https://ecss.nl/standard/ecss-e-st-40c-software-general-requirements/}, |
---|
405 | } |
---|
406 | @manual{ECSS_M_ST_40C_R1, |
---|
407 | author = {ECSS}, |
---|
408 | organization = {European Cooperation for Space Standardization}, |
---|
409 | title = {{ECSS-M-ST-40C Rev.1 - Configuration and information management}}, |
---|
410 | year = {2009}, |
---|
411 | url = {https://ecss.nl/standard/ecss-m-st-40c-rev-1-configuration-and-information-management/}, |
---|
412 | } |
---|
413 | @manual{ECSS_Q_ST_80C_R1, |
---|
414 | author = {ECSS}, |
---|
415 | organization = {European Cooperation for Space Standardization}, |
---|
416 | title = {{ECSS-Q-ST-80C Rev.1 - Software product assurance}}, |
---|
417 | year = {2017}, |
---|
418 | url = {https://ecss.nl/standard/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017/}, |
---|
419 | } |
---|
420 | @manual{ECSS_S_ST_00_01C, |
---|
421 | author = {ECSS}, |
---|
422 | organization = {European Cooperation for Space Standardization}, |
---|
423 | title = {{ECSS-S-ST-00-01C - Glossary of terms}}, |
---|
424 | year = {2012}, |
---|
425 | url = {https://ecss.nl/standard/ecss-s-st-00-01c-glossary-of-terms-1-october-2012/}, |
---|
426 | } |
---|