2,438 Hits in 4.5 sec

Verifying Emulation of Legacy Mission Computer Systems [chapter]

Colin J. Fidge
2003 Lecture Notes in Computer Science  
Nevertheless, we show that a formalism previously used for analysing program compilation, coupled with an understanding of the legacy software architecture, can be used to verify key aspects of an emulated  ...  A particular challenge is that processor emulation mixes both legacy assembly code and new high-level language software patches.  ...  This work is funded by Australian Research Council Large Grant A00104650, Verified Compilation Strategies for Critical Computer Programs.  ... 
doi:10.1007/978-3-540-45236-2_12 fatcat:4ytvhxsaszdttda32kytmpfoma

Formal change impact analyses for emulated control software

C. J. Fidge
2006 International Journal on Software Tools for Technology Transfer (STTT)  
Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor.  ...  These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system's functional and timing properties.  ...  This research was funded by Australian Research Council Large Grant A00104650, Verified Compilation Strategies for Critical Computer Programs.  ... 
doi:10.1007/s10009-004-0174-5 fatcat:7vtzz5cowrgpzhkupu5pn3tfye

Options For Upgrading Legacy Avionics Systems

Russ Duren
2006 Journal of Aerospace Computing Information and Communication  
This paper examines a comprehensive set of options for upgrading legacy avionics systems in tactical aircraft.  ...  Multiple options are considered ranging from minor changes to the legacy system to complete replacement of computers and communications buses with commercial off-the-shelf (COTS) hardware and new software  ...  Overall control of the avionics system is delegated to a central computer typically referred to as the mission computer.  ... 
doi:10.2514/1.6317 fatcat:4etcsbnygjgi3pytyj4p3w47aa

Assisted Emulation for Legacy Executables

Kam Woods, Geoffrey Brown
2010 International Journal of Digital Curation  
We describe tools to automate the remote use of preserved objects on local emulation environments.  ...  We describe software designed to minimize dependence on this knowledge by offering automated configuration and execution of emulated environments.  ...  By automating both the process of configuring the virtual machine and of installing legacy software, we remove basic impediments to access that current and future users might face when browsing these types  ... 
doi:10.2218/ijdc.v5i1.150 fatcat:lopsfxqf5jfvtnxaaxqivx7xqm

Applying Advanced 21st Century Systems Engineering and Integration (SEI) Methods to Address and Manage Risks within a CAS Environment

Gennaro J. Avvento
2014 Procedia Computer Science  
CONOPS Simulator Concept A Concept of Operations (CONOPs) Simulator is an executable representation of an architecture emulating an enterprise, family-of-and system-of-systems, or individual systems resulting  ...  This has resulted in using ever complex and evolving legacy and system of system deployment within larger defined Enterprise Architecture (EA) environments as a key backdrop for the development of system  ... 
doi:10.1016/j.procs.2014.09.050 fatcat:o6ghhhcbgbefrcxnkfxpish57e

Evolution of the Space Shuttle Primary Avionics Software and Avionics for Shuttle Derived Launch Vehicles

Roscoe C. Ferguson
2011 SAE International Journal of Aerospace  
Another aspect would be that a single GPC from the legacy system could exist as one of multiple cards in the backplane of a modern avionics computer.  ...  It is an aggregate of the Flight Computer Operating System (FCOS), System Control, and User Interface. Applications provide the behavior of the vehicle [1] .  ... 
doi:10.4271/2011-01-2575 fatcat:jbzorv4zoffrdeivxcjynacf24

A methodology for enhancing legacy TPS/ATS sustainability via employing Synthetic Instrumentation technology

David Carey, Christopher Antall, Robert Wade Lowdermilk, Alexis Allegra
The proof-of-concept demonstration validated the concept of emulating and replacing several legacy Commercial Off-the-Shelf (COTS) instruments with synthetic instrument technology.  ...  supporting and maintaining legacy automated test systems (ATS) and TPSs now and into the future.  ...  The proof-of-concept demonstration validated the concept of replacing legacy COTS instruments with synthetic instrument technology.  ... 
doi:10.1109/autest.2011.6058772 fatcat:ot3oj7vdfbdcbfenw33xu5oszq

Emulating Hierarchical Databases and DHCP with Hipe

Given the current status of low-energy communication, systems engineers shockingly desire the investigation of sensor net-works, which embodies the compelling principles of e-voting technology.  ...  We construct an algo-rithm for the improvement of cache coherence, which we call Hipe  ...  IMPLEMENTATION After several months of onerous hacking, we fi-nally have a working implementation of Hipe.The hacked operating system and the codebaseof 47 Prolog files must run with the same per-missions  ... 
doi:10.35940/ijitee.i3230.0789s319 fatcat:bmxynufgv5fqfema2fdmcs6ugm

From prey to hunter

Ang Cui, Jatin Kataria, Salvatore J. Stofo
2011 Proceedings of the 27th Annual Computer Security Applications Conference on - ACSAC '11  
Our global communication infrastructures are powered by large numbers of legacy embedded devices.  ...  We devised a method of augmenting legacy embedded devices, like Cisco routers, with host-based defenses in order to create a stealthy, embedded sensor-grid capable of monitoring and capturing real-world  ...  emulated on a general purpose computer.  ... 
doi:10.1145/2076732.2076788 dblp:conf/acsac/CuiKS11 fatcat:2ykyvfyec5bvpmrixvp7urw5qi

Architecting communication network of networks for Space System of Systems

Kul B. Bhasin, Jeffrey L. Hayden
2008 2008 IEEE International Conference on System of Systems Engineering  
The National Aeronautics and Space Administration (NASA) and the Department of Defense (DoD) are planning Space System of Systems (SoS) to address the new challenges of space exploration, defense, communications  ...  These technologies reduce the cost of operations and, with higher bandwidths, support the expected voice, video, and data needed to coordinate activities at each stage of an exploration mission.  ...  Acknowledgements The authors would like to thank Charles Putt and Lee Jackson of the Glenn Research Center for their thorough reviews and edits of the paper.  ... 
doi:10.1109/sysose.2008.4724153 dblp:conf/sysose/BhasinH08 fatcat:diggyk23grbj5itr7sy3rbppnq

Performance evaluation for software migration

Issam Al-Azzoni, Lei Zhang, Douglas G. Down
2011 Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering - ICPE '11  
Legacy systems typically provide mission critical services vital for an organization's business needs. These systems are usually very large and highly complex with little or no documentation.  ...  While several techniques exist to verify the functionality of the migrated system, the literature is still lacking methods to effectively assess the performance impact of software migration.  ...  INTRODUCTION Legacy systems continue to play a significant role in managing today's information systems. Many large organizations are using legacy systems to provide mission critical services.  ... 
doi:10.1145/1958746.1958792 dblp:conf/wosp/Al-AzzoniZD11 fatcat:5ijcaqlrm5grlpvzluthd2jao4

5G-CORNET: Platform as a Service [article]

Vuk Marojevic, Shem Kikamaze, Randall Nealy, Carl Dietrich
2018 arXiv   pre-print
Practical testing of the latest wireless communications standards requires the availability of flexible radio frequency hardware, networking and computing resources.  ...  The research community can access hardware and software resources through a virtual plat-form that enables isolation and customization of experiments.  ...  A 320 MHz signal could include a combination of several LTE base stations along with legacy communications systems in the same physical dual-node. D.  ... 
arXiv:1806.07059v1 fatcat:k43kzzmfpra25e4naxrwqctmnu

Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost

Bita Gorjiara, Nader Bagherzadeh, Pai Chou
2007 2007 Asia and South Pacific Design Automation Conference  
Instead, it uses the model of the system/application to compute the schedule of turning on/off commands by dynamically simulating the system for a given application scenario.  ...  The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints.  ...  In legacy systems, the cost of changing hardware and software, and then verifying the correctness and reliability of the system is very high.  ... 
doi:10.1109/aspdac.2007.358099 dblp:conf/aspdac/GorjiaraBC07 fatcat:p6pw5o4klvcb5ej2oxjof23epm

Applying simulation to the development of spacecraft flight software

K. Reinholtz
1999 1999 IEEE Aerospace Conference. Proceedings (Cat. No.99TH8403)  
We describe how the application of simulation and emulation to the lifecycle of spacecraft software can improve quality and aid in schedule compression and cost reduction.  ...  We define various forms of simulation and emulation, describe their various uses over the software development lifecycle, outline our experiences with regards to what can go wrong and right, and discuss  ...  APPLICATIONS OF SIMULATION Coverification Coverification[G] is the act of verifying the behavior of a system composed of hardware and software before you have real hardware, by executing the software  ... 
doi:10.1109/aero.1999.794353 fatcat:byw54jpwzvgkfh7lz246rdkzka

Emulation practices for software preservation in libraries, archives, and museums

Amelia Acker
2021 Journal of the Association for Information Science and Technology  
Emulation practices are computational, technical processes that allow for one system to reproduce the functions and results of another.  ...  Results suggest that the distributed teams in this cohort of preservationists have developed different emulation practices for particular kinds of "emulation encounters" in supporting different types of  ...  One approach to providing access is through emulating software. Emulation practices are computational, technical processes that allow for one system to reproduce the functions and results of another.  ... 
doi:10.1002/asi.24482 fatcat:tvihrgmzm5f4hiqrkirsnwk6ga
« Previous Showing results 1 — 15 out of 2,438 results