|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1958 occurrences of 945 keywords
|
|
|
Results
Found 3572 publication records. Showing 3572 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Danny Kopec, Suzanne Tamang |
Failures in complex systems: case studies, causes, and possible remedies. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
technical disasters, software engineering, complex systems, safety-critical systems, human errors, medical errors, software bugs |
19 | Xavier Vera, Björn Lisper, Jingling Xue |
Data cache locking for tight timing calculations. |
ACM Trans. Embed. Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
data cache analysis, embedded systems, Worst-case execution time, safety critical systems |
19 | Tina Mattes, Jörg Pfahler, Frank Schiller, Thomas Honold |
Analysis of Combinations of CRC in Industrial Communication. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Cyclic Redundancy Check, Residual Error Probability, Safety-critical Communication |
19 | Kelvin Nilsen |
Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
safety-critical certification, Java, RTSJ, DO-178B |
19 | David Geer |
Security of Critical Control Systems Sparks Concern. |
Computer |
2006 |
DBLP DOI BibTeX RDF |
Security, Safety-critical systems |
19 | Horst F. Wedde, Sebastian Lehnhoff, Edmund Handschin, Olav Krause |
Real-Time Multi-Agent Support for Decentralized Management of Electric Power. |
ECRTS |
2006 |
DBLP DOI BibTeX RDF |
electric power distribution and management, distributed systems, real-time systems, multi-agent systems, embedded systems, safety-critical, electronic negotiations |
19 | Tridib Mukherjee, Krishna K. Venkatasubramanian, Sandeep K. S. Gupta |
Performance modeling of critical event management for ubiquitous computing applications. |
MSWiM |
2006 |
DBLP DOI BibTeX RDF |
ubiquitous computing, autonomic computing, safety-critical systems, event management, proactive computing |
19 | Alain Girault, Hamoudi Kalla, Yves Sorel |
Transient Processor/Bus Fault Tolerance for Embedded Systems. |
DIPES |
2006 |
DBLP DOI BibTeX RDF |
hybrid redundancy, safety-critical systems, transient faults, real-time embedded systems, scheduling heuristics, heterogeneous architectures, data fragmentation |
19 | Cecilia R. Aragon, Marti A. Hearst |
Improving aviation safety with information visualization: a flight simulation study. |
CHI |
2005 |
DBLP DOI BibTeX RDF |
airflow hazards, flight-deck displays, helicopters, human factors in aviation, presentation of safety-critical information, augmented reality, information visualization |
19 | Cheng-Ying Mao, Yansheng Lu |
Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
exception handling mechanism, control flow graph (CFG), robustness improvement model, exception testing, safety critical system |
19 | Mårten Pettersson, David W. Randall 0001, Bo Helgeson |
Ambiguities, Awareness and Economy: A Study of Emergency Service Work. |
Comput. Support. Cooperative Work. |
2004 |
DBLP DOI BibTeX RDF |
control room study, emergency handling, safety critical work, technology-in-use, design, awareness, ethnography, field study, ambiguity, ethnomethodology |
19 | Suraj C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty |
A Pattern-Based Framework for Software Anomaly Detection. |
Softw. Qual. J. |
2004 |
DBLP DOI BibTeX RDF |
software tools framework, pattern specification language, high assurance software, safety-critical avionics systems, software inspection |
19 | Ismail Assayad, Alain Girault, Hamoudi Kalla |
A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
multi-criteria scheduling, active software replication, reliability, safety-critical systems, heterogeneous systems, Distributed real-time systems |
19 | Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel |
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
Fault Tolerance in Distributed and Real-Time Systems, multi-component architectures, distribution heuristics, Safety-Critical Systems, software implemented fault-tolerance |
19 | Alan Wassyng, Mark Lawford |
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. |
FME |
2003 |
DBLP DOI BibTeX RDF |
experience paper, verification, specification, inspection, Industrial application, safety critical software |
19 | Robyn R. Lutz, Ines Carmen Mikulski |
Resolving Requirements Discovery in Testing and Operations. |
RE |
2003 |
DBLP DOI BibTeX RDF |
requirements discovery, testing, safety-critical systems, operations, defect analysis, requirements evolution |
19 | Paul Townend, Jie Xu 0007 |
Assessing Multi-Version Systems Through Fault Injection. |
WORDS |
2002 |
DBLP DOI BibTeX RDF |
multi-version design, fault injection, real-time applications, fault-tolerant systems, safety-critical applications |
19 | Yaroslav Domaratsky, Maxim Perevozchikov, Alexander Ingulets, Alexander Alkhovik |
Back-End Software for Highly Dependable Real-Time Control Systems. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
highly dependable, TTOS, FTCom, TTP, fault-tolerant, real-time, TDMA, automotive, RTOS, safety critical, Time-triggered, FlexRay, OS |
19 | Colin O'Halloran |
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
Verification, Formal Methods, CSP, Z, Acceptance, Safety critical, Simulink, Control Laws |
19 | Premkumar T. Devanbu, Stuart G. Stubblebine |
Cryptographic Verification of Test Coverage Claims. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
verification, Testing, cryptography, trust, components, safety-critical systems |
19 | Nancy G. Leveson |
Intent Specifications: An Approach to Building Human-Centered Specifications. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
human-centered specifications, means-ends hierarchy, Requirements, software evolution, requirements specification, safety-critical software, cognitive engineering |
19 | G. Manimaran, C. Siva Ram Murthy |
A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems and Its Analysis. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
resource reclaiming, run-time anomaly, fault tolerance, Real-time system, dynamic scheduling, safety critical application |
19 | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
Formal Verification of a Railway Interlocking System using Model Checking. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
Model checking, Formal methods, Safety critical systems, spin, Industrial applications |
19 | Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura |
Applying SOFL to Specify A Railway Crossing Controller for Industry. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
formal engineering methods, formal speci_cation, railway crossing controller, Safety-critical systems, functional requirements, safety requirements |
19 | Samuel Norman Hamilton, Alex Orailoglu |
Concurrent Error Recovery with Near-Zero Latency in Synthesized ASICs. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
On-line Fault Isolation, Permanent Fault Resilience, High-level Synthesis of Fault Tolerant ICs, Low Latency Fault Recovery, Safety Critical Systems, Fault Tolerant Microarchitectures |
19 | 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 |
19 | 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 |
19 | Brian Dobbing, Alan Burns 0001 |
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity |
19 | Alex Orailoglu |
Graceful Degradation in Synthesis of VLSI ICs. |
DFT |
1998 |
DBLP DOI BibTeX RDF |
permanent fault resilience, high level synthesis of fault-tolerant ICs, Safety Critical Systems, graceful degradation, Fault-tolerant microarchitectures |
19 | Samuel Norman Hamilton, Alex Orailoglu |
Transient and Intermittent Fault Recovery without Rollback. |
DFT |
1998 |
DBLP DOI BibTeX RDF |
High-Level Synthesis of Fault Tolerant ICs, Transient and Intermittent Fault Resilience, Low Latency Fault Recovery, Safety Critical Systems, Fault Tolerant Microarchitectures |
19 | Bruno Dutertre, Victoria Stavridou |
Formal Requirements Analysis of an Avionics Control System. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
Formal specification, formal verification, requirements analysis, safety critical systems, avionics systems |
19 | Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti |
Providing Automated Support to Deductive Analysis of Time Critical Systems. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
time- and safety-critical systems, verification, formal methods, specification, temporal logic, validation, case study, automated theorem proving, experience report |
19 | Steven McDonnell, Bonnie E. Melhart |
Software assessment to support certification for an existing computer-based system. |
ECBS |
1996 |
DBLP DOI BibTeX RDF |
software assessment, equipment functionality, hardware control, software control, safety certification, multipurpose display, user interfaces, case study, program verification, systems analysis, software design, certification, certification, government, research, software verification, industry, safety-critical software, software analysis, software safety, software standards, computer displays |
19 | Roymond S. C. Shanahan |
Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD). |
HASE |
1996 |
DBLP DOI BibTeX RDF |
product line center approach, mission critical systems development, Department of Defense, information systems development environment, systems development costs, software architectures, software tools, software reuse, initiatives, safety-critical software, computer-based systems engineering, ECBS |
19 | S. Q. Zheng 0001, Balaji Calidas, Yanjun Zhang |
Efficient in-place sorting algorithms using feasible parallel machine models. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
in-place sorting algorithms, feasible parallel machine models, parallel sorting scheme, ZZ-sort, average performance, MasPar parallel computer, distributed memory parallel computer system, standard routine, space critical situations, fixed-size reconfigurable meshes, parallel algorithms, sorting, reconfigurable architectures, distributed memory systems, safety-critical software, tight bound, worst case performance, parallel sorting algorithm |
19 | Dan Craigen, Susan L. Gerhart, Ted Ralston |
Formal Methods Reality Check: Industrial Usage. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
real-time systems, Formal methods, formal verification, safety-critical systems, industrial applications, validation and verification, technology assessment |
19 | Arkady Kanevsky, Peter C. Krupp, Paul J. Wallace |
Paradigm for building robust real-time distributed mission-critical systems. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
search radar, military systems, radar tracking, robust real-time distributed mission-critical systems building, long life-cycle defense system, stringent safety requirements, stringent timing requirements, stringent dependability requirements, multiple target tracking, surveillance radar system, system upgrade support, system hardware, baseline performance, SEI/CMU Simplex Architecture, prototypical industrial feedback control application, integrated standard technologies, real-time systems, reliability, fault tolerant computing, distributed processing, timing, software fault tolerance, target tracking, safety-critical software, system software, military computing, application software, computing paradigm |
19 | Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson |
Reliability analysis of CSP specifications using Petri nets and Markov processes. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs |
19 | Giuseppe Iazeolla, Raffaela Mirandola, Andrea D'Ambrogio |
Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software. |
WETICE |
1995 |
DBLP DOI BibTeX RDF |
collaborative software verification, Software Performance Evaluation and Modeling, Master Model, performance analysis model, software workload model, abstract machine model, database management systems, program verification, performance predictions, software performance evaluation, database design, computer aided software engineering, safety-critical software, software performance engineering, SPEED, life cycle, hybrid simulation, software engineering methodology, software toolkit, critical software |
19 | L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson |
Real-time computer controlled ultrasound therapy system for breast cancer treatment. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics |
19 | J. Richard Newman, Sharon L. Rohde |
Managing system technical risks using a process-based, integration infrastructure. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
system technical risks management, integration infrastructure, process-based infrastructure, system engineering automation, Catalyst, process-based integration infrastructure, technical performance measurement, systems analysis, risk management, risk management, systems engineering, systems engineers, safety-critical software |
19 | Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska 0001 |
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
Real-time embedded systems and their design, Structured Analysis and Design Methods, Transformation Schema, micro and macro steps, Berry's synchrony hypothesis, safety critical systems design, simulation of and semantics for fault-tolerant systems, modularity, formal semantics, synchronous languages |
19 | Matthew J. Morley |
Safety in Railway Signalling Data: A Behavioural Analysis. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
application specific languages, Safety-critical systems, higher-order logic, railway signalling |
19 | Jeffrey J. Joyce |
Totally Verified Systems: Linking Verified Software to Verified Hardware. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
machine-assisted theorem proving, safety-critical systems, higher-order logic, hardware verification, compiler correctness |
19 | Bertrand Rousseau, Philippe Manet, D. Galerin, D. Merkenbreack, Jean-Didier Legat, F. Dedeken, Yves Gabriel |
Enabling certification for dynamic partial reconfiguration using a minimal flow. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ling Yuan, Jin Song Dong, Jing Sun 0002, Hamid Abdul Basit |
Generic Fault Tolerant Software Architecture Reasoning and Customization. |
IEEE Trans. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | B. Meenakshi 0002, Abhishek Bhatnagar, Sudeepa Roy |
Tool for Translating Simulink Models into Input Language of a Model Checker. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Gurulingesh R. Goud, Neera Sharma, Krithi Ramamritham, Sachitanand Malewar |
Efficient Real-Time Support for Automotive Applications: A Case Study. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Philipp Peti, Roman Obermaisser, Fulvio Tagliabo, Antonio Marino, Stefano Cerchio |
An Integrated Architecture for Future Car Generations. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Roman Obermaisser, Philipp Peti, Hermann Kopetz |
Virtual Networks in an Integrated Time-Triggered Architecture. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Philippa Conmy, Iain Bate |
Semi-Automated Safety Analysis for Field Programmable Gate Arrays. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Christian Denger, Mario Trapp, Peter Liggesmeyer |
SafeSpection - A Systematic Customization Approach for Software Hazard Identification. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety |
18 | Junwei Du, Zhongwei Xu, Meng Mei |
Verification of Scenario-Based Safety Requirement Specification on Components Composition. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jon G. Hall, Derek Mannering, Lucia Rapanotti |
Arguing safety with Problem Oriented Software Engineering. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Gregor Snelting, Torsten Robschink, Jens Krinke |
Efficient path conditions in dependence graphs for software safety analysis. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
program slicing, information flow control, Safety analysis, path condition |
18 | Ewen Denney, Bernd Fischer 0002, Johann Schumann |
Adding Assurance to Automatically Generated Code. |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Roderick Chapman, Adrian Hilton 0002 |
Enforcing security and safety models with an information flow analysis tool. |
SIGAda |
2004 |
DBLP DOI BibTeX RDF |
Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow |
18 | Hamdan Dammag, Nimal Nissanke |
A Mathematical Framework for Safecharts. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Step Semantics, Security, Safety, Statecharts, rbac |
18 | Meng Li, Zhu Xu |
Study on the Cost/Benefit/Optimization of Software Safety Test. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Nimal Nissanke, Hamdan Dammag |
Risk Ordering of States in Safecharts. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures |
18 | Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski |
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj |
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR |
18 | Ken Wong |
Looking at Code With Your Safety Goggles On. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott |
A Framework for Designing Safe Software Systems. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Robyn R. Lutz |
Targeting Safety-Related Errors During Software Requirements Analysis. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Yung-Yuan Chen, Chung-Hsien Hsu, Kuen-Long Leu |
SoC-level risk assessment using FMEA approach in system design with SystemC. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Neil C. Audsley, I. J. Bate, Alan Grigg |
Portable Code for Complex Critical Systems . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Bin Chen 0018, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil |
Automatic Fault Tree Derivation from Little-JIL Process Definitions. |
SPW/ProSim |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jiang Guo, Yuehong Liao, Raj Pamula |
Extending Eclipse to support object-oriented system verification. |
IRI |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Kyung-A Yoon, Seunghun Park, Doo-Hwan Bae, Hoon-Seon Chang, Jae-Cheon Jung |
A Framework for the Vamp;V Capability Assessment Focused on the Safety-Criticality. |
STEP |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Holger Giese, Matthias Tichy, Daniela Schilling |
Compositional Hazard Analysis of UML Component and Deployment Models. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Luis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Luis Entrena, Celia López |
An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation. |
VTS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Tomas Hlavaty, Libor Preucil, Petr Stepan |
Case Study: Formal Specification and Verification of Railway Interlocking System. |
EUROMICRO |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Liz Whiting, Mike Hill |
Safety Analysis of Hawk in Flight Monitor. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp |
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Synchronization, Design patterns, Interfaces, Concurrent programming |
15 | Gérard Berry |
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Matthew S. Simpson, Bhuvan Middha, Rajeev Barua |
Segment protection for embedded systems using run-time checks. |
CASES |
2005 |
DBLP DOI BibTeX RDF |
MMU, MPU, ewmbedded systems, safe languages, segment protection, segmentation violations, reliability, compilers, virtual memory, memory safety, run-time checks |
15 | Andreas Pfitzmann |
Why Safety and Security Should and Will Merge. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer |
Analysis of Distributed Spin Applied to Industrial-Scale Models. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Lizhou Yu, Gholamali C. Shoja, Hausi A. Müller, Anand Srinivasan |
A Framework for Live Software Upgrade. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Un Sik Park, Yoji Yamada, Yoshihiro Nakabo |
Force control with safety constraints via Iterative Feedback Tuning. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Kinder, Rolf Drechsler |
Modeling and proving functional completeness in formal verification of counting heads. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Wilhelm Schäfer |
Model Driven Development with Mechatronic UML. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jeff Dallien, Wendy MacCaull, Allen Tien |
Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. |
MOMPES |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Heimo Zeilinger, Berndt Sevcik, Thomas Turek, Gerhard Zucker |
Communication in Change - Voice over IP in Safety and Security Critical Communication Networks. |
IT Revolutions |
2008 |
DBLP DOI BibTeX RDF |
security, safety, VoIP, communication networks |
14 | Matthias Tichy, Stefan Henkler, Matthias Meyer 0001, Markus von Detten |
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
failure propagation, fujaba, structual transformations, fault tolerance, safety, hazard analysis |
14 | Sebastian Kinder, Rolf Drechsler |
Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. |
DSD |
2007 |
DBLP DOI BibTeX RDF |
|
14 | David Parker 0002, Yiannis Papadopoulos |
Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques. |
ICNSC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. |
ECBS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Binoy Ravindran, Gérard Le Lann, Peng Li 0020 |
Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. |
HASE |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001 |
Self-Checking and Fault Tolerance Quality Assessment Using Fault Sampling. |
DFT |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Peter Liggesmeyer, Oliver Mäckel |
Quantifying the Reliability of Embedded Systems by Automated Analysis. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Francis Jambon, Patrick Girard 0002, Yamine Aït Ameur |
Interactive System Safety and Usability Enforced with the Development Process. |
EHCI |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Werner Damm |
Challenges in the Verification of Electronic Control Units. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier |
Météor: A Successful Application of B in a Large Project. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Eberhard Böhl, Thomas Lindenkreuz, Matthias Meerwein |
On-Chip IDDQ Testing in the AE11 Fail-Stop Controller. |
IEEE Des. Test Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | John M. Covan, J. Arlin Cooper |
Predictable Safety in the Control of High Consequence Systems. |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Monika Rani Golla, Sangharatna Godboley |
Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications. |
Expert Syst. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
|
|