1,750,156 research outputs found
Recommended from our members
A Study of Transport Protocols for Wide Area Scientific Applications
No full textThis is the final project report of award "A Study of Transport Protocols for Wide Area Scientific Applications", given by DOE in 2003 to Vishal Misra at Columbia University
Orthaga mangiferae Misra 1932
No full text34. Orthaga mangiferae Misra, 1932: 539 Type locality: India Distribution. Indian records: India (Misra 1932, Mathew 2006). Global records: unknown.Published as part of Singh, Navneet, Ranjan, Rahul, Talukdar, Avishek, Joshi, Rahul, Kirti, Jagbir Singh, Chandra, Kailash & Mally, Richard, 2022, A catalogue of Indian Pyraloidea (Lepidoptera), pp. 1-423 in Zootaxa 5197 (1) on page 51, DOI: 10.11646/zootaxa.5197.1.1, http://zenodo.org/record/725229
Dendronereides gangetica Misra
No full textDendronereides gangetica Misra Dendronereides gangetica Misra, 1999 Ecology: FT Distribution: OL Habitat: ESPublished as part of Glasby, Christopher J., Timm, Tarmo, Muir, Alexander I. & Gil, João, 2009, Catalogue of non-marine Polychaeta (Annelida) of the World, pp. 1-52 in Zootaxa 2070 on page 7, DOI: 10.5281/zenodo.18708
MISRA C, for Security's Sake!
Full text linkA third of United States new cellular subscriptions in Q1 2016 were for cars.
There are now more than 112 million vehicles connected around the world. The
percentage of new cars shipped with Internet connectivity is expected to rise
from 13% in 2015 to 75% in 2020, and 98% of all vehicles will likely be
connected by 2025. Moreover, the news continuously report about "white hat"
hackers intruding on car software. For these reasons, security concerns in
automotive and other industries have skyrocketed. MISRA C, which is widely
respected as a safety-related coding standard, is equally applicable as a
security-related coding standard. In this presentation, we will show that
security-critical and safety-critical software have the same requirements. We
will then introduce the new documents MISRA C:2012 Amendment 1 (Additional
security guidelines for MISRA C:2012) and MISRA C:2012 Addendum 2 (Coverage of
MISRA C:2012 against ISO/IEC TS 17961:2013 "C Secure Coding Rules"). We will
illustrate the relationship between MISRA C, CERT C and ISO/IEC TS 17961, with
a particular focus on the objective of preventing security vulnerabilities (and
of course safety hazards) as opposed to trying to eradicate them once they have
been inserted in the code
Nonlocality of the Misra-Prigogine-Courbage semigroup
No full textWe show that the Markov semigroups constructed by Misra, Prigogine, and Courbage through nonunitary similarity transformations of Kolmogorov systems are not implementable by local point transformations, i.e. they are not the Frobenius-Perron semigroups associated with noninvertible point transformations, in contrast with the semigroups obtained by coarse-graining projections. Our result is a straightforward generalization of the proof of the nonlocality of the similarity transformation given by Goldstein, Misra, and Courbage and also of the previous illustration by Misra and Prigogine for the baker transformation and completes the characterization of the Misra-Prigogine-Courbage semigroups. © 1994 Plenum Publishing corporation.SCOPUS: ar.jinfo:eu-repo/semantics/publishe
A Weighted Grid for Measuring Program Robustness
Full text linkRobustness is a key issue for all the programs, especially safety critical ones. In the literature, Program Robustness is defined as “the degree to which a system or component can function correctly in the presence of invalid input or stressful environment” (IEEE 1990). Robustness measurement is the value that reflects the Robustness Degree of the program.
In this thesis, a new Robustness measurement technique; the Robustness Grid, is introduced. The Robustness Grid measures the Robustness Degree for programs, C programs in this instance, using a relative scale. It allows programmers to find the program’s vulnerable points, repair them, and avoid similar mistakes in the future.
The Robustness Grid is a table that contains Language rules, which is classified into categories with respect to the program’s function names, and calculates the robustness degree. The Motor Industry Software Reliability Association (MISRA) C language rules with the Clause Program Slicing technique will be the basis for the robustness measurement mechanism.
In the Robustness Grid, for every MISRA rule, a score will be given to a function every time it satisfies or violates a rule. Furthermore, Clause program slicing will be used to weight every MISRA rule to illustrate its importance in the program. The Robustness Grid shows how much each part of the program is robust and effective, and assists developers to measure and evaluate the robustness degree for each part of a program.
Overall, the Robustness Grid is a new technique that measures the robustness of C programs using MISRA C rules and Clause program slicing. The Robustness Grid shows the program robustness degree and the importance of each part of the program. An evaluation of the Robustness Grid is performed to show that it offers new measurements that were not provided before
A Rationale-Based Classification of MISRA C Guidelines
No full textMISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175 guidelines (coding rules and directives), it does not coincide with them: proper adoption of MISRA C requires embracing its preventive approach (as opposed to the "bug finding" approach) and a documented development process where justifiable non-compliances are authorized and recorded as deviations. MISRA C guidelines are classified along several axes in the official MISRA documents. In this paper, we add to these an orthogonal classification that associates guidelines with their main rationale. The advantages of this new classification are illustrated for different kinds of projects, including those not (yet) having MISRA compliance among their objectives
Study: MISRA C coding guidelines
No full textThis repository contains the material and obtained data of an eye tracking study on the topic "MISRA C coding guidelines".
For more information, please feel free to contact
The Post Office Horizon system and Seema Misra
Full text linkThe author highlights the significance of the Seema Misra case in raising questions about the reliablity of the Post Office Horizon system and more widely suggesting that all digital systems have the possibility of latent defects, and these can never be discounted. He argues that when the efficacy of digital systems is called into question in legal proceedings, the onus of proof must be placed on the supplier of these systems and not the accuser.Index words: Post Office; Horizon; prosecutions; software errors; disclosure Full transcript of the trial Regina v Seema Misra, T2009007 (England & Wales; theft; electronic evidence; Post Office Horizon System; ‘reliability’ of computers) with case commentary and index to original papers held in the Documents Supplement of Volume 12: 2015
- …
