104 lines
3.6 KiB
BibTeX
104 lines
3.6 KiB
BibTeX
own:
|
|
|
|
@inproceedings{TypeAssisted2002,
|
|
author = {Lhee, Kyung-suk and Chapin, Steve J.},
|
|
booktitle = {11\textsuperscript{th} USENIX Security Symposium},
|
|
title = {{Type-Assisted Dynamic Buffer Overflow Detection}},
|
|
year = {2002}
|
|
}
|
|
|
|
@inproceedings{Rad2001,
|
|
author = {Chiueh, Tzi-cker and Hsu, Fu-Hau},
|
|
booktitle = {21\textsuperscript{st} International Conference on Distributed Computing Systems},
|
|
title = {{RAD: A Compile-Time Solution to Buffer Overflow Attacks}},
|
|
year = {2001}
|
|
}
|
|
|
|
@inproceedings{Stackguard1998,
|
|
author = {Cowan, Crispan and Po, Calton and Maier, Dave and Walpole, Jonathan
|
|
and Bakke, Peat and Beattie, Steve and Grier, Aaron and Wagle, Perru and
|
|
Yhang, Qian},
|
|
booktitle = {7\textsuperscript{th} USENIX Security Symposium},
|
|
title = {{StackGuard: Automatic Adaptive Detection and Prevention of
|
|
Buffer-Overflow Attacks}},
|
|
year = {1998}
|
|
}
|
|
|
|
@InProceedings{Dep2007,
|
|
author={Condit, Jeremy
|
|
and Harren, Matthew
|
|
and Anderson, Zachary
|
|
and Gay, David
|
|
and Necula, George C.},
|
|
editor={De Nicola, Rocco},
|
|
title={Dependent Types for Low-Level Programming},
|
|
booktitle={Programming Languages and Systems},
|
|
year={2007},
|
|
publisher={Springer Berlin Heidelberg},
|
|
address={Berlin, Heidelberg},
|
|
pages={520--535},
|
|
abstract={In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that combines dependent types and mutation for variables and for heap-allocated structures in a more flexible way than before and (2) a technique for automatically inferring dependent types for local variables. We have applied these general principles to design Deputy, a dependent type system for C that allows the user to describe bounded pointers and tagged unions. Deputy has been used to annotate and check a number of real-world C programs.},
|
|
isbn={978-3-540-71316-6}
|
|
}
|
|
|
|
existing:
|
|
|
|
@article{Laprie2004,
|
|
author = {Avizienis, Algirdas and Laprie, Jean-Claude and Randell, Brian and Landwehr, Carl},
|
|
journal = {IEEE Transactions on Dependable and Secure Computing},
|
|
title = {{Basic Concepts and Taxonomy of Dependable and Secure Computing}},
|
|
year = {2004}
|
|
}
|
|
|
|
@inproceedings{Agrou2011,
|
|
author = {Agrou, Hicham and Sainrat, Pascal and Gatti, Marc and Faura, David and Toillon, Patrice},
|
|
booktitle = {Digital Avionics Systems Conference (DASC)},
|
|
title = {{A Design Approach for Predictable and Efficient Multi-Core Processor for Avionics}},
|
|
year = {2011}
|
|
}
|
|
|
|
@misc{Grisenthwaite2012,
|
|
author = {Grisenthwaite, Richard Roy and Jebson, Anthony and Rose, Andrew Christopher and Evans, Matthew Lucien},
|
|
institution = {ARM},
|
|
title = {{Communication of Message Signalled Interrupts (US20140122760)}},
|
|
url = {http://www.google.com/patents/US20140122760},
|
|
year = {2012}
|
|
}
|
|
|
|
@misc{ARINC2005,
|
|
author = {ARINC},
|
|
title = {{ARINC Specification 664P7 - Aircraft Data Network Part 7 Avionics Full Duplex Switched Ethernet (AFDX) Network}},
|
|
year = {2005}
|
|
}
|
|
|
|
@book{Kopetz2011,
|
|
address = {New York},
|
|
author = {Kopetz, Hermann},
|
|
publisher = {Springer},
|
|
title = {{Real Time Systems}},
|
|
year = {2011}
|
|
}
|
|
|
|
@misc{Freescale2015,
|
|
author = {Freescale},
|
|
title = {{QorIQ LS2045A and LS2085A Communications Processors (Rev. 2)}},
|
|
year = {2015}
|
|
}
|
|
|
|
@techreport{Aswadhati2011,
|
|
author = {Aswadhati, Ajoy},
|
|
institution = {PCI-SIG},
|
|
title = {{Scaling Data Center Interconnects with PCI Express}},
|
|
url = {http://www.pcisig.com/developers/main/training\_materials/get\_document?doc\_id=415a477bf2725a554d7903f9d8d499daa3e8e4bb},
|
|
year = {2011}
|
|
}
|
|
|
|
@ONLINE{Xil2010,
|
|
author={Xilinx},
|
|
title={{System Generator works very slow. Why?}},
|
|
year = {2010},
|
|
url={http://forums.xilinx.com/t5/DSP-Tools/System-Generator-works-very-slow-Why/td-p/21140/page/2
|
|
}}
|
|
|
|
|