Search results for "high integrity systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin	Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Model-driven Integration, High-Integrity Systems, Automated Code Generation
3	Steve Michell, Mark Saaltink	Guidance on the Use of Ada95 in High Integrity Systems.	Ada-Europe	1998	DBLP DOI BibTeX RDF	HRG, Ada, critical systems, predictable systems, high integrity systems
2	Jérôme Hugues, Bechir Zalila, Laurent Pautet	Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems.	ISORC	2007	DBLP DOI BibTeX RDF
2	Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson	High-integrity extreme programming.	SAC	2005	DBLP DOI BibTeX RDF	extreme programming, agile development, high-integrity systems
2	Jagun Kwon, Andy J. Wellings, Steve King	Assessment of the Java programming language for use in high integrity systems.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
2	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment.	RTCSA	2003	DBLP DOI BibTeX RDF	Real-Time Java (RTJ), Distributed RTJ, Static Analysis Environment, Distributed Run-Time Environment, High-Integrity Systems
2	Jagun Kwon, Andy J. Wellings, Steve King	Ravenscar-Java: a high integrity profile for real-time Java.	Java Grande	2002	DBLP DOI BibTeX RDF	profile, real-time Java, high integrity systems
2	Roderick Chapman, Robert Dewar	Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ada Language and Tools, High Integrity Systems
1	Isabelle Perseil	Towards a specific software development process for high integrity systems.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Gilles Lasnier, Laurent Pautet, Jérôme Hugues	A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.	ISORC	2011	DBLP DOI BibTeX RDF
1	Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega	Cache-Aware Development of High-Integrity Systems.	Ada-Europe	2010	DBLP DOI BibTeX RDF
1	Kelvin Nilsen	Ada-Java middleware for legacy software modernization.	JTRES	2010	DBLP DOI BibTeX RDF	mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical
1	Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.	Ada-Europe	2009	DBLP DOI BibTeX RDF	distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile
1	Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke	Towards Agile Engineering of High-Integrity Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF
1	Irfan Hamid, Elie Najm	Operational Semantics of Ada Ravenscar.	Ada-Europe	2008	DBLP DOI BibTeX RDF
1	Steven P. Miller	Will This Be Formal?	TPHOLs	2008	DBLP DOI BibTeX RDF	model checking, Formal methods, theorem proving, avionics
1	Luke St. Clair, Joshua Schiffman, Trent Jaeger, Patrick McDaniel	Establishing and Sustaining System Integrity via Root of Trust Installation.	ACSAC	2007	DBLP DOI BibTeX RDF
1	Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark	An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms.	HASE	2007	DBLP DOI BibTeX RDF
1	Matteo Bordin, Tullio Vardanega	Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile
1	José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	Handling Temporal Faults in Ada 2005.	Ada-Europe	2007	DBLP DOI BibTeX RDF
1	Robert Dewar	Ada 2005 & high integrity systems.	SIGAda	2006	DBLP DOI BibTeX RDF
1	Damian Curtis	SPARK Annotations Within Executable UML.	Ada-Europe	2006	DBLP DOI BibTeX RDF
1	José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente	Hierarchical Scheduling with Ada 2005.	Ada-Europe	2006	DBLP DOI BibTeX RDF
1	James F. Davis	The affordable application of formal methods to software engineering.	SIGAda	2005	DBLP DOI BibTeX RDF	trust, correctness, proven, engineering, formal
1	Anthony S. Ruocco	Experiences using SPARK in an undergraduate CS course.	SIGAda	2005	DBLP DOI BibTeX RDF	computer science education, computer science curriculum, SPARK
1	Dongfeng Wang, Farokh B. Bastani, I-Ling Yen	Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	dependability assurance, aspect-oriented modeling, process-control systems, Software decomposition
1	Robyn R. Lutz, Ines Carmen Mikulski	Ongoing Requirements Discovery in High-Integrity Systems.	IEEE Software	2004	DBLP DOI BibTeX RDF	requirements/specifications management, maintenance and enhancement, software and system safety, error processing, distribution, product metrics
1	Iain Bate, Neil C. Audsley	Flexible Design of Complex High-Integrity Systems Using Trade Offs.	HASE	2004	DBLP DOI BibTeX RDF
1	Sadie Creese	Industrial Strength CSP: Opportunities and Challenges in Model-Checking.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Jagun Kwon, Andy J. Wellings	Memory Management Based on Method Invocation in RTSJ.	OTM Workshops	2004	DBLP DOI BibTeX RDF
1	Tse-Min Lin, John A. McDermid	A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning
1	Geri Georg, Robert B. France, Indrakshi Ray	Designing High Integrity Systems Using Aspects.	IICIS	2002	DBLP BibTeX RDF
1	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF
1	Peter Amey, Roderick Chapman	Industrial strength exception freedom.	SIGAda	2002	DBLP DOI BibTeX RDF	DO178B, exception freedom, run-time errors, security, Ada, safety, common criteria, SPARK, high-integrity systems
1	Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente	Using Object Orientation in High Integrity Applications: A Case Study.	Ada-Europe	2002	DBLP DOI BibTeX RDF
1	Luping Chen, John H. R. May, Gordon Hughes	Assessment of the Benefit of Redundant Systems.	SAFECOMP	2002	DBLP DOI BibTeX RDF
1	Tse-Min Lin, John A. McDermid	(True) Polymorphism in SPARK2000.	Ada-Europe	2000	DBLP DOI BibTeX RDF	Ada, Object-Oriented Programming, Polymorphism, SPARK
1	William W. Pritchett IV, John D. Riley	An ASIS-Based Static Analysis Tool for High-Integrity Systems.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, static analysis, software tool, Ada 95, safety-critical
1	Steven P. Miller	Specifying the mode logic of a flight guidance system in CoRE and SCR.	FMSP	1998	DBLP DOI BibTeX RDF	flight guidance, formal specification, formal methods, requirements engineering, requirements, safety critical systems, CoRE, avionics, high integrity systems, SCR, flight control
1	R. W. Whitty	Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review).	Softw. Test., Verif. Reliab.	1995	DBLP BibTeX RDF
1	Ivor Lloyd	Software evaluation in high integrity systems.	Computers & Security	1990	DBLP DOI BibTeX RDF