1,709 Hits in 10.5 sec

The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions [chapter]

C. W. Johnson
2005 Lecture Notes in Computer Science  
The following pages examine the roles that formal methods might play in the analysis of software failures in space missions.  ...  These issues are compounded by the use of 'band-aid' software to fix design mistakes and compromises in other aspects of space systems engineering. Programmers must often re-code missions in flight.  ...  Formal Methods in the Development of Space-Related Software There have been a number of notable attempts to use formal methods to address the problems of software engineering for space-related applications  ... 
doi:10.1007/11526841_3 fatcat:7q7wd3qtlbacrk225ou3wj274i

Schnauzer: scalable profiling for likely security bug sites

W. Arthur, B. Mammo, R. Rodriguez, T. Austin, V. Bertacco
2013 Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)  
Software bugs comprise the greatest threat to computer security today.  ...  Security exploits are often buried in rarely executed code paths hidden just beyond the path space explored by end-users.  ...  Acknowledgements The authors would like to thank the reviewers, whose insights improved this work. The authors acknowledge the support of the Gigascale Systems Research Center. References  ... 
doi:10.1109/cgo.2013.6494998 dblp:conf/cgo/ArthurMRAB13 fatcat:qbogcaz47rcrxceqkkuyeqfp64

How to Avoid Mistakes in Software Development for Unmanned Vehicles

Cezary Szczepański, Marcin Ciopcia
2019 Transactions on Maritime Science  
The purpose of this paper is to propose design and development methodology, in terms of robustness, of unmanned vehicles (UV) software development, which minimizes the risk of software failure in both  ...  The most common dangers in UV software development were determined, classified and analysed, on the basis of literature studies, and the author's own experience in software development and in analysis  ...  Due to the complex nature of software, the author was unable to port the whole software to MCU with FPU easily.  ... 
doi:10.7225/toms.v08.n02.005 fatcat:dpai45ih6fd5jesieme3jjz6hq

The Y2K scare: Causes, Costs and Cures

John Quiggin
2005 Australian Journal of Public Administration  
The worldwide scare over the 'Y2K bug' resulted in the expenditure of hundreds of billions of dollars on Y2K compliance and conversion policies.  ...  In this article, the technological and institutional factors leading to the adoption of these policies are considered, along with suggestions as to how such policy failures could be avoided in future.  ...  'fix on failure' solution normally used to deal with potential software bugs.  ... 
doi:10.1111/j.1467-8500.2005.00451.x fatcat:eekaxiq6cjeslmcle6unk5xr2u

Grand challenges in embedded software

Christoph M. Kirsch, Reinhard Wilhelm
2007 Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07  
This is an introduction to the EMSOFT 2007 Panel on Grand Challenges in Embedded Software.  ...  In the last few years, embedded system developers have exploited instruction level simulators to prototype and debug embedded software in addition to using them to explore design spaces.  ...  Formal methods, in particular formal verification, have been successfully applied to hardware design, and more recently, to software design.  ... 
doi:10.1145/1289927.1289930 dblp:conf/emsoft/KirschW07 fatcat:2e2av346rjdmpf7m7sojmclg6e

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning

Alex Groce, Klaus Havelund, Gerard Holzmann, Rajeev Joshi, Ru-Gang Xu
2014 Annals of Mathematics and Artificial Intelligence  
In this paper we discuss the application of a range of techniques to the verification of mission-critical flight software at NASA's Jet Propulsion Laboratory.  ...  The results we have obtained in the domain of file systems are encouraging, and suggest that for more complex properties of programs with complex data structures, it is possibly more beneficial to use  ...  Acknowledgments: We are indebted to the members of the Mars Science Laboratory Flight Software Internal Test (FIT) team for contributions to the pattern language design and the early efforts at learning  ... 
doi:10.1007/s10472-014-9408-8 fatcat:2s5dwnoavzhibosf2if2ycsbhe

Site Reliability Engineering for IOS Mobile Application in Small-Medium Scale Industries

N Kavyashree, MC Supriya, MR Lokesh
2021 Global Transitions Proceedings  
Their failure is copied back to the exact features of mobile application is useful and powerful.  ...  In this situation, we suggest a method to forecast software reliability in the primary creation of any process growth phases since from the designing stage only.  ...  Related Works Software reliability is the possibility of failure-free process in the small-medium scale industry for a definite date in an itemized setting.  ... 
doi:10.1016/j.gltp.2021.08.065 fatcat:rwpvbhbiufg3ndnt6wdbzz65we

Miscomputation in software: Learning to live with errors

Tomas Petricek
2017 The Art, Science, and Engineering of Programming  
In this paper, we look at the 60 years history of programming and at the different practical methods that software community developed to live with programming errors.  ...  In fact, ominous warnings about the desperate state of the software industry continue to be released with almost ritualistic regularity.  ...  The characters in this essay are not entirely fictitious and I would like to thank (and apologize) to colleagues who inspired them.  ... 
doi:10.22152/ fatcat:4db4uldwizb7lk4zrwvcrtq32y

10. Unruly Bodies of Code in Time [chapter]

Marisa Leavitt Cohn
2021 Media Infrastructures and the Politics of Digital Time  
This chapter examines how debates about the (im)materiality of software comes to inhabit the practices of software engineering work who manage the temporality of obsolescence and its entanglement with  ...  It describes how bodies of code endure materially in ways that exceed their formal understanding, revealing how the hardwiring of temporality into digital systems takes place through a moral economy of  ...  Even the terms used in software engineering to manage aging systems like rot and grime 15 suggests a relation to the abject.  ... 
doi:10.1515/9789048550753-012 fatcat:tbdfpvts6nha5he56xqsbtuife

Software reliability and dependability

Bev Littlewood, Lorenzo Strigini
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
Influencing design practice to facilitate dependability assessment. Propagating awareness of dependability issues and the use of existing, useful methods.  ...  Injecting some rigour in the use of process-related evidence for dependability assessment. Better understanding issues of diversity and variation as drivers of dependability.  ...  ACKNOWLEDGEMENTS The authors' work was supported in part by EPSRC grants GR/L07673 and GR/L57296.  ... 
doi:10.1145/336512.336551 dblp:conf/icse/LittlewoodS00b fatcat:dapf76ufkba6xgab3khod72ucu


Nir Fresco, Giuseppe Primiero
2013 Philosophy & Technology  
Piccinini lists many cases of miscomputation, including a failure of a hardware component, a faulty interaction between hardware and software, a mistake in computer design and a programming error (Piccinini  ...  It shows that 'malfunction' as it is typically used in the philosophy of artefacts only represents one type of miscomputation. 1.  ...  Acknowledgments We thank Marty Wolf for a useful discussion on miscomputation in physical systems.  ... 
doi:10.1007/s13347-013-0112-0 fatcat:qcc73vudoncvdkdkz6yzuwfjli

Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software [article]

Deborah S. Katz, Christopher S. Timperley, Claire Le Goues
2022 arXiv   pre-print
In addition, we analyze the effects of timing delays on the functional behavior of ARSs.  ...  We demonstrate the efficiency of these approaches on ARDUPILOT -- a popular open-source autopilot software system -- and HUSKY -- an unmanned ground vehicle -- in simulation.  ...  The authors are grateful for their support. Any opinions, findings, or recommendations expressed are those of the authors and do not necessarily reflect those of the US Government.  ... 
arXiv:2201.12464v1 fatcat:m4yyyphqwjhanhjbimwxzuq4qa

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  ...  , and implementations, to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications, and to suggest factors for consideration when formal  ...  In formal methods these particularly include my colleagues Friedrich von Henke, Sam Owre, and Shankar; and in safety-critical systems and their assessment, Ricky Butler of NASA Langley Research Center,  ... 
doi:10.1007/978-1-4471-0921-1_1 fatcat:33n3af7ssbfkbiy6o6vj462idi

Formal methods

Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John Fitzgerald
2009 ACM Computing Surveys  
We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of specification and design.  ...  Formal methods use mathematical models for analysis and verification at any part of the program life-cycle.  ...  Finally, we thank Microsoft Research Cambridge for supporting the workshop in March 2008 on pilot projects for the Grand Challenge.  ... 
doi:10.1145/1592434.1592436 fatcat:i5gxogcidbemjpf3jopgobzrxe

A survey and taxonomy of approaches for mining software repositories in the context of software evolution

Huzefa Kagdi, Michael L. Collard, Jonathan I. Maletic
2007 Journal of Software Maintenance and Evolution Research and Practice  
used (how), and the evaluation method (quality).  ...  A comprehensive literature survey on approaches for mining software repositories (MSR) in the context of software evolution is presented.  ...  The results obtained from ACKNOWLEDGEMENTS We thank the reviewers for their detailed comments and suggestions. These were instrumental in helping us improve the presentation of the survey.  ... 
doi:10.1002/smr.344 fatcat:zri7uxf7aba6forbe77gkmw2ru
« Previous Showing results 1 — 15 out of 1,709 results