12,509 Hits in 6.0 sec

New challenges in certification for aircraft software

John Rushby
2011 Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11  
We outline the current approach to certification of aircraft software, and the rôle of the DO-178B guidelines. We consider evidence for its effectiveness and discuss possible explanations for this.  ...  We then describe how changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration.  ...  Methods of software development and assurance evolve much more rapidly than aircraft systems.  ... 
doi:10.1145/2038642.2038675 dblp:conf/emsoft/Rushby11 fatcat:h7llozqz75fn3pgr7hn67ienb4

On Software Certification: We Need Product-Focused Approaches [chapter]

Alan Wassyng, Tom Maibaum, Mark Lawford
2010 Lecture Notes in Computer Science  
We make the case that productfocused certification is required to produce reliable software intensive systems. These techniques will have to be domain and even product specific to succeed.  ...  We then review current practices in software certification and contrast the software regime's process-oriented approach to certification with the product-oriented approach typically used in other engineering  ...  The documents do not do a good enough job of describing the artefacts that will be assessed.  ... 
doi:10.1007/978-3-642-12566-9_13 fatcat:qshwp3wmnrhzzgpyy3wxriknv4

Assurance cases and prescriptive software safety certification: A comparative study

Richard Hawkins, Ibrahim Habli, Tim Kelly, John McDermid
2013 Safety Science  
There has been much debate surrounding the relative merits of prescriptive and safety assurance argument approaches to certification. In many ways this debate can lead to confusion.  ...  This approach to certification is often described as prescriptive or process-based certification.  ...  For reasons of brevity, we do not define those criteria here. These software safety requirements will be further refined as more design detail becomes available (Lee et al., 2010) .  ... 
doi:10.1016/j.ssci.2013.04.007 fatcat:qhbmbxgo3ne4rhoaacwe44qms4

Formal Methods and their Role in the Certification of Critical Systems [chapter]

John Rushby
1997 Safety and Reliability of Software Based Systems  
Its purpose is to outline the technical basis for formal methods in computer science, to explain the use of formal methods in the specification and verification of software and hardware requirements, designs  ...  benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications, and to suggest factors for consideration when formal methods are offered in support of certification  ...  expect a large piece of software to be more of a challenge than a smaller one.  ... 
doi:10.1007/978-1-4471-0921-1_1 fatcat:33n3af7ssbfkbiy6o6vj462idi

Justifying Class Action Limits: Parsing the Debates over Ascertainability and Cy Pres

2017 Kansas Law Review  
Some judges believe they have more latitude to approve a cy pres provision in a settlement than they do to employ cy pres after a trial judgment. See, e.g., Marshall v.  ...  It is possible, for example, that an attorney would be more willing to sell out a class with anonymous members than a class whose members the attorney knows or could imagine knowing.  ...  flexible approach, 219 and the analogy with (b)(2) supports doing so.  ... 
doi:10.17161/1808.25574 fatcat:inzjeiiorzawbniwl6kiwhps64

The Next Generation Internet: a selection of contributions to the debate

Nadia El-Imam
2021 Zenodo  
This, in the NGI consortium's intentions, would make the platform more thought-provoking, and therefore more engaging.  ...  To do so, we used a combination of open calls for contributions and targeted interviews to identified thought leaders.  ...  The debate centres around whether it will be used for good or evil.  ... 
doi:10.5281/zenodo.6320727 fatcat:ghuvcxm5pjhlhi6cfn6dpf2aou

Debating Abortion, Deliberative Reciprocity and Parliamentary Advocacy

Albert Weale, Aude Bicquelet, Judith Bara
2012 Political Studies  
Utilising the software Alceste to conduct automated text analysis, it finds that debate does not match the prediction of parties merely talking past one another.  ...  The inconsistency could arise from not considering plausible conditions of democratic debate in which reciprocity might be respected, such as legislative debates free of party discipline.  ...  knight, who spoke very movingly. after all, a woman has much more right to speak in this debate than has any other hon.  ... 
doi:10.1111/j.1467-9248.2011.00928.x fatcat:5ryglco535dyjhckjokgexhbxu

Standards for Duty of Care? Debating Intermediary Liability from a Sectoral Perspective

Carsten Ullrich
2017 Social Science Research Network  
Then forcing information sharing duties on intermediaries, which risk exposing company confidential data, would do more to alienate stakeholders rather than bringing them together.  ...  They will then be awarded with a certificate identifying them as an approved online pharmacy, which they will need to display on each offer detail page.  ...  know-your-customer (KYC) obligations applied to intermediaries. 127 While Article 5 ECD refers only to the information Member States may require of ISPs, it appears rights holders lament the fact that intermediaries do  ... 
doi:10.2139/ssrn.3037744 fatcat:dpbgrmuuyzcc5lmajeckwxjddq

Gender, Candidate Emotional Expression, and Voter Reactions During Televised Debates

2021 American Political Science Review  
Consistent with our expectations, Angela Merkel expresses less anger than her male opponents, but she is just as emotive in other respects.  ...  Relying on full-length videos of four German federal election debates (2005–2017) and a minor party debate, we use video, audio, and text data to measure candidate facial displays of emotion, vocal pitch  ...  express more happiness than will men, and men will express more anger than will women.  ... 
doi:10.1017/s0003055421000666 fatcat:ecavc3te2bgd5mkmnxrhqt2xse

Deciphering the Biodiversity–Production Mutualism in the Global Food Security Debate

Ralf Seppelt, Channing Arndt, Michael Beckmann, Emily A. Martin, Thomas W. Hertel
2020 Trends in Ecology & Evolution  
Crop growth could be implemented in more complex ways, i.e. by distinguishing different plant organs, or in more aggregated ways, i.e. through using regression models that do not account for intra-annual  ...  Properly implemented, models deploying the analytical framework shown in Box 1 will enable researchers to determine the circumstances where biocontrol provides a more reliable, robust, costeffective and  ... 
doi:10.1016/j.tree.2020.06.012 pmid:32943219 fatcat:jxsr7pcrrne4tm4ekggrepvv5e

Comment on Michael A. Stegman et al.'s "Preventive servicing is good for businessandaffordable homeownership policy": What prevents loan modifications?

Kurt Eggert
2007 Housing Policy Debate  
Subprime servicers depend far more on ancillary income, such as late fees, than prime servicers do.  ...  Given the large number of subprime borrowers with loans that are resetting to significantly higher rates, servicers will often have to do more to prevent foreclosures than just make early contact and offer  ... 
doi:10.1080/10511482.2007.9521601 fatcat:zvsvf3y7kfcrjknp2i5e6zdeze

Worrying about climate change: is it responsible to promote public debate?

Helen L. Berry, Dominic Peel
2015 BJPsych International  
Respectful, calm, considered public debate about how to respond to climate change is unlikely to be harmful to population mental health.  ...  Instead, collective, systems-based approaches will be needed.  ...  First, patients who do not attend are more unwell and more functionally impaired than those who do attend (Killaspy et al, 2000) .  ... 
doi:10.1192/s2056474000000234 pmid:29093844 pmcid:PMC5618910 fatcat:2jxldqonufcbdg2pq7zp3yy3ay

Searching for sustainability in the digital agriculture debate: an alternative approach for a systemic transition

Roy William Cobby
2020 Revista Teknokultura  
While sustainability is an important issue, recent papers in the field of digital agriculture do not address the problem directly.  ...  After a literature review, this paper will focus on the importance of shared perspectives as enablers in socio-technical transitions.  ...  nations) will be more concerned with the open dissemination of good practices through digital means.  ... 
doi:10.5209/tekn.69475 fatcat:oafxy3hyv5ch3piorvjxzrmt7i

As ações judiciais contra a Vigilância Sanitária: pode-se falar de 'judicialização'?

Aliana Ferreira de Souza Simões, Luis Eugênio Portela Fernandes de Souza
2018 Saúde em Debate  
RESUMO O estudo tem por objetivo analisar as ações ajuizadas contra um serviço de Vigilância Sanitária municipal, à luz do fenômeno da judicialização da saúde.  ...  Trata-se de um estudo de caso que teve como fonte documental os processos judiciais relativos à Vigilância Sanitária do município de Salvador, no período de 2000 a 2017.  ...  being in the process of renewal of the permit for more than one year and a half. (Judicial action 32).  ... 
doi:10.1590/0103-11042018s205 fatcat:jzsorilsgvg3zf2riw5xgamq64

On Software Certification: We Need Product-Focused Approaches

D Jackson, M Thomas, L Millett
2007 Dagstuhl Reports   unpublished
, more pervasive deployment of software...could lead to more catastrophic failures unless improvements are made."  ...  National Academy of Sciences [1], concludes that "new techniques and methods will be required in order to build future software systems to the level of dependability that will be required...In the future  ...  It will also suggest some criteria by which we might judge any scheme to manage software certification so as to deliver positive RoI, and use this to stimulate a debate on how we evaluate the benefit of  ... 
« Previous Showing results 1 — 15 out of 12,509 results