<--- Back to Details
First PageDocument Content
Software testing / Software requirements / Avionics / Ada programming language / Embedded systems / AdaCore / DO-178B / Code coverage / Gcov / Computing / Software development / Software engineering
Date: 2012-03-20 14:43:19
Software testing
Software requirements
Avionics
Ada programming language
Embedded systems
AdaCore
DO-178B
Code coverage
Gcov
Computing
Software development
Software engineering

Microsoft PowerPoint - Project_Coverage.ppt [Compatibility Mode]

Add to Reading List

Source URL: libre.adacore.com

Download Document from Source Website

File Size: 341,13 KB

Share Document on Facebook

Similar Documents

Cryptography / Multivariate cryptography / Hidden Field Equations / Unbalanced Oil and Vinegar / Circulant matrix / RSA / Elliptic Curve Digital Signature Algorithm / QUAD

Implementing Minimized Multivariate PKC on Low-Resource Embedded Systems Bo-Yin Yang1, , Chen-Mou Cheng2 , Bor-Rong Chen2 , and Jiun-Ming Chen3 1 3

DocID: 1xVOQ - View Document

Carnegie Mellon University / Software Engineering Institute / Carnegie Mellon Silicon Valley / Software engineering / Mellon / Pittsburgh

Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1

DocID: 1xUHI - View Document

Computer architecture / Instruction set architectures / Computing / Acorn Computers / Microcontrollers / RISC-V / Central processing unit / Reduced instruction set computer / Embedded system / ARM architecture / Arm Holdings

F e b r uar yGuiding Embedded Designers on Systems and Technologies Engineers’ Guide to PC/104 & Embedded SFF

DocID: 1xUCn - View Document

Cryptography / Public-key cryptography / Transport Layer Security / Cryptographic software / Secure communication / Cryptographic protocols / Mbed TLS / Cipher suite / OpenSSL / Forward secrecy / Post-quantum cryptography / HTTPS

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

DocID: 1xTwc - View Document

Protecting Bare-metal Embedded Systems With Privilege Overlays Abraham A. Clements∗ , Naif Saleh Almakhdhub† , Khaled S. Saab‡ , Prashast Srivastava† , Jinkyu Koo† , Saurabh Bagchi† , Mathias Payer† ∗ Pur

DocID: 1xTbD - View Document