references.bib

" ONLINE
@online{rticwebsite,
    author = "RTIC",
    title = "RTIC Homepage",
    url  = "https://rtic.rs",
    addendum = "(accessed: 2021-01-08)",
}
@online{kleewebsite,
    author = "KLEE",
    title = "KLEE Homepage",
    url  = "https://klee.github.io/",
    addendum = "(accessed: 2021-01-08)",
}
@online{kleeintrinsics,
    author = "KLEE",
    title = "Overview of the main KLEE intrinsic functions",
    url = "http://klee.github.io/docs/intrinsics/",
    addendum = "(accessed: 2022-03-26)",
}
@online{cheddar,
    author = "Cheddar",
    title = "Cheddar: an open-source real-time schedulability tool/scheduling simulator",
    url = "http://beru.univ-brest.fr/cheddar/",
    addendum = "(accessed: 2021-06-29)",
}
@online{rapidrma,
    author = "RapidRMA",
    title = "RapidRMA product page",
    url = "https://www.tripac.com/",
    addendum = "(accessed: 2021-08-12)",

}
@online{rtdruid,
    author = {{Evidence Srl a socio unico}},
    title = "RT-druid product page",
    url = "https://www.evidence.eu.com/products/rt-druid.html",
    addendum = "(accessed: 2021-08-12)",

}
@online{ellidiss,
    author = {{Elildiss Technologies}},
    title = "AADL Inspector",
    url = "https://www.ellidiss.com/products/aadl-inspector/",
    addendum = "(accessed: 2021-08-12)",

}

" INPROCEEDINGS
@inproceedings{lindner,
    author = "Marcus Lindner and Jorge Aparicio and Henrik Tjäder and Per Lindgren and Johan Eriksson",
    title = "Hardware-in-the-loop based WCET analysis with KLEE",
    year = {2018},
    month = {09},
    pages = {345-352},
    DOI = {10.1109/ETFA.2018.8502510}
}
@inproceedings{kleepaper,
    author = {Cadar, Cristian and Dunbar, Daniel and Engler, Dawson},
    title = {KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs},
    year = {2008},
    publisher = {USENIX Association},
    address = {USA},
    booktitle = {Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation},
    pages = {209–224},
    location = {San Diego, California},
    series = {OSDI'08}
}
@inproceedings{rtfm,
    author={J. {Eriksson} and F. {Häggström} and S. {Aittamaa} and A. {Kruglyak} and P. {Lindgren}},
    booktitle={2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)},
    title={Real-time for the masses, step 1: Programming API and static priority SRP kernel primitives},
    year={2013},
    pages={110-113},
    doi={10.1109/SIES.2013.6601482}
}
@inproceedings{timestool,
    author = {Amnell, Tobias and Fersman, Elena and Mokrushin, Leonid and Pettersson, Paul and yi, Wang},
    year = {2003},
    month = {07},
    pages = {},
    title = {TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems},
    volume = {2791},
    isbn = {978-3-540-21671-1},
    doi = {10.1007/978-3-540-40903-8_6}
}
@inproceedings{nopanic,
  author={Lindner, Marcus and Aparicius, Jorge and Lindgren, Per},
  booktitle={2018 IEEE 16th International Conference on Industrial Informatics (INDIN)}, 
  title={No Panic! Verification of Rust Programs by Symbolic Execution}, 
  year={2018},
  pages={108-114},
  doi={10.1109/INDIN.2018.8471992}}

" ARTICLES
@article{srp,
    author = "Baker T. P.",
    title = "A Stack-Based Resource Allocation Policy for Realtime Processes",
    year = "1990",
    doi= "10.1109/REAL.1990.128747"
}
@article{symbex,
    author = {King, James C.},
    title = {Symbolic Execution and Program Testing},
    year = {1976},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {19},
    number = {7},
    issn = {0001-0782},
    url = {https://doi.org/10.1145/360248.360252},
    doi = {10.1145/360248.360252},
    journal = {Commun. ACM},
    pages = {385–394},
}
@article{ratemonotonic,
    author = {Liu, C. L. and Layland, James W.},
    title = {Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment},
    year = {1973},
    publisher = {Association for Computing Machinery},
    volume = {20},
    issn = {0004-5411},
    url = {https://doi.org/10.1145/321738.321743},
    doi = {10.1145/321738.321743},
    journal = {J. ACM},
    pages = {46–61},
}
@article{edf,
    author = {Horn, W. A.},
    title = {Some simple scheduling algorithms},
    journal = {Naval Research Logistics Quarterly},
    volume = {21},
    number = {1},
    pages = {177-185},
    doi = {https://doi.org/10.1002/nav.3800210113},
    year = {1974}
}
@article{fixedpriorityhistory,
    author = {Audsley, Neil and Burns, Alan and Davis, Robert and Tindell, Ken and Wellings, Andy},
    year = {1995},
    month = {03},
    pages = {173-198},
    title = {Fixed Priority Pre-emptive Scheduling: An Historical Perspective.},
    volume = {8},
    journal = {Real-Time Systems},
    doi = {10.1007/BF01094342}
}
@article{audsley93,
    author = {N. Audsley and A. Burns and M. Richardson and K. Tindell and A. J. Wellings},
    title = {Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling},
    journal = {Software Engineering Journal},
    year = {1993},
    volume = {8},
    pages = {284--292}
}

" BOOKS
@book{hardrealtimecomputingsystems,
    author = {Buttazzo, Giorgio C.},
    title = {Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications},
    year = {2011},
    isbn = {1461406757},
    publisher = {Springer Publishing Company, Incorporated},
    edition = {3rd},
}

" TECHREPORTS AND WHITE PAPERS
@TECHREPORT{rapita,
    author = {{Rapita Systems Ltd.}},
    type = {White paper},
    title = {Automating WCET analysis for DO-178B/C},
    note = {Accessed on 2021-06-29},
    url = {https://www.rapitasystems.com/downloads/automating-wcet-analysis-do-178b-do-178c},
}


" Manuals
@manual{dwarfspec,
    title = {DWARF Debugging Information Format
Version 5},
    author = {{DWARF Committee}},
    organization = {DWARF Debugging Information Format Committee},
    year = {2017},
}