Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 35

Journal article (2)

Realistic Safety Cases for the Timing of Systems (May 2014)
Patrick Graydon, Iain Bate
The Computer Journal (Comput. J.)

A New Way about using Statistical Analysis of Worst-Case Execution Times (Sep 2011)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
ACM SIGBED Review

Conference/Workshop Paper (31)

Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases (Sep 2017)
Omar Jaradat, Iain Bate
European Dependable Computing Conference (EDCC'17)

Systematic Maintenance of Safety Cases to Reduce Risk (Sep 2016)
Omar Jaradat, Iain Bate
4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016)

Deriving Hierarchical Safety Contracts (Nov 2015)
Omar Jaradat, Iain Bate
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)

Influential Nuisance Factors on a Decision of Sufficient Testing (Nov 2015)
Mahnaz Malekzadeh, Iain Bate
The 15th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'15)

Using Design of Experiments to Optimise a Decision of Sufficient Testing (Aug 2015)
Mahnaz Malekzadeh, Iain Bate, Sasikumar Punnekkat
The 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA'15)

Using Sensitivity Analysis to Facilitate The Maintenance of Safety Cases (Jun 2015)
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

Facilitating the Maintenance of Safety Cases (Jun 2015)
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
The 3rd International Conference on Reliability, Safety and Hazard - Advances in Reliability, Maintenance and Safety (ICRES-ARMS'15)

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems (Jan 2015)
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick Graydon
16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015)

The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward (Nov 2014) -- Best Paper Award--
Patrick Graydon, Iain Bate
The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)

An Approach to Maintaining Safety Case Evidence After A System Change (May 2014)
Omar Jaradat, Patrick Graydon, Iain Bate
2014 Tenth European Dependable Computing Conference (EDCC 2014)

On the Nature and Content of Safety Contracts (Jan 2014)
Patrick Graydon, Iain Bate
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)

Making an ALARP Decision of Sufficient Testing (Jan 2014)
Mahnaz Malekzadeh, Iain Bate
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)

Assuring Safety for Component Based Software Engineering (Jan 2014)
Iain Bate, Philippa Conmy
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)

Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling (Dec 2013)
Patrick Graydon, Iain Bate
1st International Workshop on Mixed Criticality Systems (WMC 2013)

Improving Reliability of Real-Time Systems through Value and Time Voting (Dec 2013)
Hüseyin Aysan, Iain Bate, Patrick Graydon, Sasikumar Punnekkat
The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013)

The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment (Aug 2013)
Omar Jaradat, Patrick Graydon, Iain Bate
31st International System Safety Conference (ISSC'13)

Searching for the Minimum Failures that Can Cause a Hazard in a Wireless Sensor Network (Jul 2013)
Iain Bate, Mark Fairbairn
Genetic and Evolutionary Computation Conference (GECCO 2013)

On Extensible Networks for Embedded Systems (Apr 2013)
Florian Poelzlbauer , Iain Bate, Eugen Brenner
Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS)

A Statistical Response-Time Analysis of Real-Time Embedded Systems (Dec 2012)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
33rd IEEE Real-Time Systems Symposium (RTSS12)

From Fault Injection to Mutant Injection: the Next Step for Safety Analysis? (Nov 2012)
Guillermo Rodriguez-Navas, Patrick Graydon, Iain Bate
Hardware and Software: Verification and Testing. Proc. of the 8th International Haifa Verification Conference, HVC 2012

Better, Faster, Cheaper, and Safer Too – Is This Really Possible? (Sep 2012) -- Best Paper Award--
Iain Bate, Hans Hansson, Sasikumar Punnekkat
ETFA2012 - 17th IEEE Intl Conf. on Emerging Technologies for Factory automation

On Voting Strategies for Loosely Synchronized Dependable Real-Time Systems (Jun 2012)
Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Iain Bate
7th IEEE International Symposium on Industrial Embedded Systems

RapidRT: A Tool For Statistical Response-Time Analysis of Complex Industrial Real-Time Embedded Systems (Nov 2011)
Yue Lu, Thomas Nolte, Liliana Cucu-Grosjean , Iain Bate
Real-Time SystemS @ Work, the Open Demo Session of Real-Time Techniques and Technologies of the 32nd IEEE Real-Time Systems Symposium (RTSS11)

A Trace-Based Statistical Worst-Case Execution Time Analysis of Component-Based Real-Time Embedded Systems (Sep 2011)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
16th IEEE International Conference on Emerging Technology and Factory Automation (ETFA11), Work-in-Progress (WiP) session

A New Way about using Statistical Analysis of Worst-Case Execution Times (Jul 2011)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
23rd EUROMICRO Conference on Real-Time Systems (ECRTS11), Work-in-Progress (WiP) session

Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems (Jun 2011)
Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström
6th IEEE International Symposium on Industrial Embedded Systems (SIES11)

A Statistical Response-Time Analysis of Complex Real-Time Embedded Systems by using Timing Traces (Jun 2011)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
6th IEEE International Symposium on Industrial Embedded Systems (SIES11), Work-in-Progress (WiP) session

A Statistical Approach to Simulation Model Validation in Response-Time Analysis of Complex Real-Time Embedded Systems (Mar 2011)
Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate
26th ACM Symposium on Applied Computing (SAC11)

Timing Analyzing for Systems with Task Execution Dependencies (Jul 2010)
Yue Lu, Thomas Nolte, Iain Bate, Christer Norström
The 34th Annual IEEE Computer Software and Applications Conference (COMPSAC10)

Timing Analyzing for Systems with Execution Dependencies between Tasks (Mar 2010)
Yue Lu, Thomas Nolte, Iain Bate, Christer Norström
Track on Real-Time Systems, The 25th ACM Symposium on Applied Computing (SAC10)

Impact of Embedded Systems Evolution on RTOS Use and Design (Jul 2005)
David Andrews , Iain Bate, Thomas Nolte, Clara M. Otero Perez , Stefan M. Petters
Proceedings of the 1st International Workshop Operating System Platforms for Embedded Real-Time Applications (OSPERT05) in conjunction with the 17th Euromicro International Conference on Real-Time Systems (ECRTS05)

Report - MRTC (2)

Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases: An Example (Apr 2017)
Omar Jaradat, Iain Bate

Improving the Stop-Test Decision When Testing Data are Slow to Converge (Aug 2016)
Mahnaz Malekzadeh, Iain Bate
MRTC Report, Mälardalen Real-Time Research Centre (MRTC2016)

Items per page: