CN106201689B - A kind of more queue events injection devices and method with timing control - Google Patents
A kind of more queue events injection devices and method with timing control Download PDFInfo
- Publication number
- CN106201689B CN106201689B CN201610532398.2A CN201610532398A CN106201689B CN 106201689 B CN106201689 B CN 106201689B CN 201610532398 A CN201610532398 A CN 201610532398A CN 106201689 B CN106201689 B CN 106201689B
- Authority
- CN
- China
- Prior art keywords
- event
- queue
- injection
- ready
- ready queue
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/48—Program initiating; Program switching, e.g. by interrupt
- G06F9/4806—Task transfer initiation or dispatching
- G06F9/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
- G06F9/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/50—Allocation of resources, e.g. of the central processing unit [CPU]
- G06F9/5005—Allocation of resources, e.g. of the central processing unit [CPU] to service a request
- G06F9/5027—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resource being a machine, e.g. CPUs, Servers, Terminals
- G06F9/5038—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resource being a machine, e.g. CPUs, Servers, Terminals considering the execution order of a plurality of tasks, e.g. taking priority or time dependency constraints into consideration
Abstract
The present invention is to provide a kind of more queue events injection devices and method with timing control.Master controller is used to coordinate the relationship between modules, and the control stream and data flow of each module of control；EventSelect device selects event type in event base, and generates specific event example with parameter, is stored in pool queue；Event base is the summation of all kinds of event of failure and Computer Service function reduction behavior；Event example in ready queue is injected into goal systems to be tested by event injector；Monitor is monitored by the real time reaction of injected system；Data-analyzing machine is collected by the real-time feedback information of injected system, and generates system log, provides data reference for the availability assessment of system.Present invention seek to address that efficiency is lower in existing event method for implanting, expense is larger, event unification and the problems such as waiting-timeout, the tractability and statistical event coverage of event injection are improved.
Description
Technical field
The present invention relates to a kind of safety determination apparatus and method of computer system, specifically one kind has
The more queue events injection devices and method of timing control.
Background technique
With the development of computer and network technology, the safety of computer system is increasingly valued by people,
Therefore, the safety of test and evaluation computer system becomes an important link during system research and development.By to test
The statistics of data is it can be concluded that reaction speed and solution when some failures of systems face, thus find the bottleneck of system,
Convenient for the maintenance and further design of system.Since computer system executes the small probability to break down during task, certainly
Reaction of the computer system in the case where facing fault condition can not be obtained and be answered by way of falling into a long wait by having determined it
To measure, therefore, artificially make system jam, and the reaction of observation system in the event of a failure is very necessary.
Application No. is in 201410125856.1 patent document, disclose a kind of " distribution based on combined test collection
Event injection device " proposes the distributed event injection mode based on combined test collection, introduces pressure load, it can be achieved that more
Have specific aim, more flexible, efficient event injection, but does not account for layering injection and timing control.Application No. is
In 200620020624.0 patent document, a kind of " computer network dependability evaluation dress based on event injection is disclosed
Set ", it is, for different stage fault tolerant mechanism, to inject various network events to goal systems based on event injection technique, it is main
The problem of wanting concerned about network secure context.But the invention is primarily adapted for use in and injects single network event, event injection is inadequate
Efficiently.Application No. is in 201410216140.2 patent document, disclose a kind of " event injection based on multilevel feedback queue
The method for scheduling task of engine ", benefit are can more reasonably to realize the task schedule of batch-type event injection, still,
The invention needs to be respectively provided with event control block for each event in batch-type event, increases system burden.
Existing open source literature relates generally to the problems such as credibility injected based on event, reliability, safety, is first to mention
Outgoing event model or evaluation and test model, it is final to evaluate and test goal systems or software for different target Systematic selection corresponding event type
Index of correlation.Such as article " design and realization of the safety evaluating method based on event injection " is injected based on event, only
Assault is had chosen to verify the safety of computer system, attack is single, do not have popularity (Yan Guoping,
Wu Zhibo, Zhou Damin, the 13rd national fault-tolerant calculation academic conference, on July 20th, 2009, http: //
d.wanfangdata.com.cn/Conference/7240182)。
In conclusion that there are the efficiency of system evaluation is lower, expense is larger and injection thing for the research of event injection at this stage
The problems such as part unification and presence delay, the requirement that the system that can not fully meet is tested and assessed comprehensively.
Summary of the invention
The purpose of the present invention is to provide it is a kind of it is high-efficient, expense is small, be able to achieve the timing control to event injection process
More queue events injection devices with timing control.The object of the invention is also to provide a kind of with the more of timing control
Queue events method for implanting.
More queue events injection devices with timing control of the invention include master controller, event base, EventSelect
Six device, event injector, monitor and data-analyzing machine modules further include the pool queue and ready team of event injection
Column；
Master controller is used to coordinate the relationship between modules, and the control stream and data flow of each module of control；
EventSelect device selects event type in event base, and generates specific event example with parameter, is stored in standby
Queue；
Event base is the summation of all kinds of event of failure and Computer Service function reduction behavior；The event base is foundation
With the event base of the highest three angles building of system coherence, including register, memory and I/O；
Event example in ready queue is injected into goal systems to be tested by event injector；
Monitor is monitored by the real time reaction of injected system；
Data-analyzing machine is collected by the real-time feedback information of injected system, and generates system log, is the availability of system
Assessment provides data reference.
More queue events injection devices with timing control of the invention can also include:
1, event injector embeds timer, the time interval of the timer setting event injection.
2, described by the real time reaction of injected system includes memory usage and CPU usage.
3, the data-analyzing machine is divided into two functional modules, is functional test module and performance test module respectively；Institute
State functional test module for qualitative evaluation event inject successfully, event inject unsuccessfully and system validity；The performance is surveyed
Die trial block is for test event incubation period, detection delay time, event injection success rate and restorability statistical event coverage.
More queue events method for implanting with timing control of the invention include the following steps:
Step 1, master controller sends to EventSelect device and instructs, by EventSelect device to event type in event base
It is screened, wherein event type includes register event, memory event, I/O event；
Step 2, the event screened in conjunction with parameter, is generated specific event example by EventSelect device, by specific thing
Part example is stored in pool queue；
Step 3, master controller will be in pool queues according to sequential control method (TC-method) according to system needs
Event is stored in ready queue；
Step 4, under the control of master controller, the event example in ready queue is injected into be tested by event injector
In goal systems；
Step 5 monitors goal systems to be tested by monitor and event occurs after event is injected into goal systems to be tested
Reaction when barrier, predictability and fault-tolerant validity including the system failure；
Step 6, device to be monitored complete monitoring information, and data-analyzing machine Collection Events inject as a result, and carrying out statistical
Analysis.
The sequential control method (TC-method) specifically includes:
1) initialization injection ready queue
Before timer starts timing, building ready queue first, ready queue is chosen in pool queue；
2) injection is executed
After ready queue is completed in building, injection is executed, the event of injection is the event example in pool queue；
3) when timer
While step 2) starts, timer starts timing, while waiting-timeout strategy is arranged, and injects single event
Time must not exceed maximum threshold T, T > 0；The maximum latency of single is not only arranged in timer, while passing through setting note
The angle of incidence realizes injection length interval with equally distributed probability graph；
4) detection injection result
After executing injection, start every time t, detecting event injection judges that single event injection is as a result, 0 < t < T
No success, wherein T=kt, k=1,2,3 ...；
5) judge injection length
In single pass, once detect that event injection length t has been more than maximum threshold T, regardless of injection whether at
Function all stops this test.
The mode of the building ready queue is layering building, method particularly includes: it is single during generating ready queue
A kind of back queue is chosen as ready queue, when choosing register event pool queue as ready queue, is closed internally
Deposit the selection of event and I/O event；When choosing memory event pool queue as ready queue, close to register event
And the selection of I/O event；When choosing I/O event pool queue as ready queue, closing is to register event and interior
Deposit the selection of event.
The mode of the building ready queue is combination building, method particularly includes: during generating ready queue, with
It recycles combined mode to connect the event example in pool queue, so that the event example type in ready queue is not single
Event type.
The invention proposes a kind of more queue events injection devices and method with timing control, the model it is quasi- from into
Highest three angles of journey correlation, i.e. register, memory and I/O, are respectively designed event injected system, infuse in event
Enter and introduce timer mechanism in model, and waiting-timeout countermeasure is set, to realize the timing control to event injection process
System.Meanwhile queuing mechanism is used during constructing ready queue, the function of layering injection and combination injection may be implemented.
The beneficial effects of the present invention are embodied in:
1, the present invention it is quasi- from highest three angles of process correlation, i.e. register, memory and I/O respectively infuse event
Enter system to be designed, improves the tractability and coverage rate of event injection.
2, queuing mechanism is used during constructing ready queue, and the hierarchical attribute test of goal systems may be implemented.
3, timer mechanism is introduced in event injection model, and waiting-timeout strategy is set, and event is infused to realize
Enter the timing control of process.
Detailed description of the invention
Fig. 1 is the illustraton of model with more queue events injection devices of timing control.
Fig. 2 is the function structure chart with more queue events injection devices of timing control.
Fig. 3 is the flow chart with more queue events method for implanting of timing control.
Specific embodiment
The present invention is described in detail in distance with reference to the accompanying drawing.
Fig. 1 illustrates a kind of illustraton of model of more queue events injection devices with timing control.The device includes master control
Device, event base, EventSelect device, event injector, monitor and data-analyzing machine processed, event inject pool queue and ready
Queue.
Event base is all kinds of failures and the summation for causing Computer Service function reduction behavior, the design in present event library from
It is constructed with highest three angles (i.e. register, memory and I/O) of system process correlation.The function of EventSelect device be
Event type is selected in event base, and incorporating parametric generates specific event example, if register event injects, need to select correlation
Register type event, incorporating parametric forms register event example, and the selection result (layering construct and combination construct) is deposited
It is put in corresponding register event pool queue.The embedded timer of event injector sets threshold T (T > 0), according to being
System needs, and the event in pool queue is selectively deposited into ready queue by event injector, can choose layering here
Injection event and combination building injection event are constructed, such as selection layering building there can be following several situations:
(1) when choosing register event pool queue as ready queue, closing is to memory event and I/O event
Selection；
(2) when choosing memory event pool queue as ready queue, closing is to register event and I/O event
Selection；
(3) when choosing I/O event pool queue as ready queue, closing is to register event and memory event
Selection.
The event in ready queue is injected into goal systems later, the time interval obedience of injection is uniformly distributed, and
Time interval is by embedded timer setting.
The major function of monitor is to monitor by the real time reaction of injected system, such as by the memory usage of injected system and
CPU usage etc..The major function of data-analyzing machine is to collect by the real-time feedback information of injected system, and generate system day
Will provides data reference for the availability assessment of system.Master controller is the core of model, for coordinating the pass between each device
System, and the control stream and data flow of each module of control.
Fig. 2 illustrates the specific modular structure of event injection.The event that the present invention designs is injected according to injection phase not
Together, register event injection module, memory event injection module and I/O event injection module are divided into.Register event injection
The major function that module is realized is to modify the image of current process in a register, simulates SEU (the Single Event of register
Upset) phenomenon.Memory event injection module includes RAM leakage event injection submodule, memory rewriting event injection submodule
Submodule is injected with stack overflow event.The major function of RAM leakage event injection module is the memory overload in simulated target machine
Event；The major function of memory rewriting event injection module is the SEU phenomenon of emulated memory；The master of stack overflow event injection module
Wanting function is the parallel MPI program stack overflow event of simulation.I/O event injection module includes read pointer offset submodule and write pointer
Deviate submodule.The major function of read-write pointer offset event injection is the mistake during simulation process I/O.
Combined with Figure 1 and Figure 2, with more queue events injection devices of timing control specifically:
(1) master controller: the core of model, for coordinating the relationship between each device, and the control of each module of control
System stream and data flow；
(2) EventSelect device: major function is event type to be selected in event base, and generate specific event with parameter
Example, is stored in pool queue；
(3) event base: being the summation of all kinds of event of failure and Computer Service function reduction behavior, present event library foundation
Event base, i.e. register, memory and I/O are constructed with highest three angles of system coherence；
(4) event injector: the event example in ready queue is injected into goal systems to be tested, embeds timer,
The timer sets the time interval of event injection；
(5) monitor: monitoring is such as occupied by the memory usage of injected system and CPU by the real time reaction of injected system
Rate etc.；
(6) data-analyzing machine: collecting by the real-time feedback information of injected system, and generate system log, be system can
It is tested and assessed with property and data reference is provided.Data-analyzing machine can be divided into two functional modules, be that functional test module and performance are surveyed respectively
Die trial block.Wherein, functional test module can qualitatively be assessed as event inject successfully, event injection failure and system it is effective
Property etc.；Performance test module includes event incubation period, detection delay time, event injection success rate and restorability event coverage
Rate etc..
Fig. 3 main presentation process of the invention.Specific step is as follows:
(1) master controller is instructed to the transmission of EventSelect device first, by EventSelect device to event type in event base
(screening technique is sampling) is screened, wherein event type includes register event, memory event, I/O event；
(2) EventSelect device generates specific event example by the event screened in conjunction with parameter, by specific event example
It is stored in pool queue；
(3) master controller is needed according to sequential control method (TC-method) according to system by the event in pool queue
It is stored in ready queue；
(4) under the control of master controller, the event example in ready queue is injected into target to be tested by event injector
In system；
(5) after event is injected into goal systems to be tested, when monitoring goal systems to be tested by monitor and breaking down
Reaction, predictability and fault-tolerant validity including the system failure；
(6) device to be monitored completes monitoring information, and data-analyzing machine Collection Events inject as a result, and carrying out statistical to it
Analysis.
During event injection, there are two the principal elements considered, first is that injection length problem, the other is injection
Space problem.The timer that the present invention designs, it is intended that control injection length interval, so that injection length variable X is obeyed uniformly
Distribution.Timing control side in the realization step (3) of a kind of above-mentioned more queue events injection devices with timing control and method
Method (TC-method) is specific as follows:
1) initialization injection ready queue.Before timer starts timing, building ready queue first, ready queue choosing
It is taken at pool queue.Wherein building ready queue has following two mode:
A) layering building.
Layering building refers to, single to choose a kind of back queue as ready queue during generating ready queue.When
When choosing register event pool queue as ready queue, the selection to memory event and I/O event is closed；When in selection
When depositing event pool queue as ready queue, the selection to register event and I/O event is closed；When selection I/O event
When pool queue is as ready queue, the selection to register event and memory event is closed.
B) combination building.
Combination building refers to, during generating ready queue, to the thing in pool queue in a manner of recycling combination
Part example is connected, so that the event example type in ready queue is not single event type.Combine what building mode generated
Ready queue is more close to the failure of systems face in true environment, because being tested computer not in practical application environment
May be there is only a type of failure, this test mode angle is more comprehensive, and resulting test result is also more convincing.
2) injection is executed.After ready queue is completed in building, injection is executed, the event of injection is the event in pool queue
Example.
3) when timer.While step 2) starts, timer starts timing.Waiting-timeout strategy is set simultaneously,
So that single event injection length must not exceed maximum threshold T (value of T is set according to specific experimental situation, T > 0).Meter
When device not only can be set the maximum latency of single experiment, while by setting injection length, can make between injection length
It is realized every with equally distributed probability graph.
4) detection injection result.Execute injection after, system start every time t (0 < t < T) detecting event inject as a result,
Judge whether single event injection succeeds, wherein T=kt (k=1,2,3 ...).
5) judge injection length.During single experiment, once detect that event injection length t has been more than most gate
Limit value T stops this test regardless of whether injection succeeds.
Claims (3)
1. a kind of method for implanting based on more queue events injection devices with timing control, more queues with timing control
Event injection device includes master controller, event base, EventSelect device, event injector, monitor and data-analyzing machine six
A module further includes pool queue and the ready queue of event injection；Master controller is used to coordinate the relationship between modules,
And the control stream and data flow of each module of control；EventSelect device selects event type in event base, and generates with parameter
Specific event example, is stored in pool queue；Event base is all kinds of event of failure and Computer Service function reduction behavior
Summation；The event base be according to the event base with system coherence highest three angles building, including register, memory and
I/O；Event example in ready queue is injected into goal systems to be tested by event injector；Monitor is monitored by injected system
Real time reaction；Data-analyzing machine is collected by the real-time feedback information of injected system, and generates system log, is the available of system
Property assessment provide data reference
Method for implanting includes the following steps:
Step 1, master controller send to EventSelect device and instruct, and are carried out in event base to event type by EventSelect device
Screening, wherein event type includes register event, memory event, I/O event；
The event screened in conjunction with parameter, is generated specific event example by step 2, EventSelect device, by specific event example
It is stored in pool queue；
Step 3, master controller need that the event in pool queue is stored in ready team according to sequential control method according to system
Column；
Step 4, under the control of master controller, the event example in ready queue is injected into target to be tested by event injector
In system；
Step 5, after event is injected into goal systems to be tested, when monitoring goal systems to be tested by monitor and breaking down
Reaction, predictability and fault-tolerant validity including the system failure；
Step 6, device to be monitored complete monitoring information, and data-analyzing machine Collection Events inject as a result, and for statistical analysis；
It is characterized in that the sequential control method specifically includes:
1) initialization injection ready queue
Before timer starts timing, building ready queue first, ready queue is chosen in pool queue；
2) injection is executed
After ready queue is completed in building, injection is executed, the event of injection is the event example in pool queue；
3) when timer
While step 2) starts, timer starts timing, while waiting-timeout strategy is arranged, and makes single event injection length
It must not exceed maximum threshold T, T > 0；Timer is not only arranged the maximum latency of single, while when by setting injection
Between, realize injection length interval with equally distributed probability graph；
4) detection injection result
After executing injection, start every time t, detecting event injection as a result, 0 < t < T, judge single event injection whether at
Function, wherein T=kt, k=1,2,3 ...；
5) judge injection length
In single pass, once detect that event injection length t has been more than maximum threshold T, regardless of whether injection succeeds, all
Stop this test.
2. the method for implanting according to claim 1 based on more queue events injection devices with timing control, special
Sign is that the sequential control method specifically includes: the mode of the building ready queue is layering building, method particularly includes: in life
It is single to choose a kind of pool queue as ready queue during ready queue, make when choosing register event pool queue
When for ready queue, the selection to memory event and I/O event is closed；When selection memory event pool queue is as ready team
When column, the selection to register event and I/O event is closed；When choosing I/O event pool queue as ready queue, close
Close the selection to register event and memory event.
3. the method for implanting according to claim 1 based on more queue events injection devices with timing control, special
Sign is that the sequential control method specifically includes: the mode of the building ready queue is combination building, method particularly includes: in life
During at ready queue, the event example in pool queue is connected in a manner of recycling combination, so that ready queue
In event example type be not single event type.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610532398.2A CN106201689B (en) | 2016-07-07 | 2016-07-07 | A kind of more queue events injection devices and method with timing control |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201610532398.2A CN106201689B (en) | 2016-07-07 | 2016-07-07 | A kind of more queue events injection devices and method with timing control |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN106201689A CN106201689A (en) | 2016-12-07 |
| CN106201689B true CN106201689B (en) | 2019-10-18 |
Family
ID=57473515
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201610532398.2A Active CN106201689B (en) | 2016-07-07 | 2016-07-07 | A kind of more queue events injection devices and method with timing control |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN106201689B (en) |
Families Citing this family (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| TWI627521B (en) | 2017-06-07 | 2018-06-21 | 財團法人工業技術研究院 | Timing esimation method and simulation apparataus |
| US10642648B2 (en) * | 2017-08-24 | 2020-05-05 | Futurewei Technologies, Inc. | Auto-adaptive serverless function management |
| CN110430223B (en) * | 2019-09-12 | 2021-07-02 | 北京京航计算通讯研究所 | Vehicle control system network safety detection system based on multistage feedback queue |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN2894106Y (en) * | 2006-04-19 | 2007-04-25 | 哈尔滨工程大学 | Computer network credibility estimating device based on event implanting |
| CN103873281A (en) * | 2012-12-13 | 2014-06-18 | 北京旋极信息技术股份有限公司 | Management method of fault injection and fault injection method |
| CN103944778A (en) * | 2014-03-31 | 2014-07-23 | 哈尔滨工程大学 | Distributed event injection device based on combined test set |
| CN103970603A (en) * | 2014-05-21 | 2014-08-06 | 哈尔滨工程大学 | Task scheduling method of event injection engine based on multilevel feedback queue |
-
2016
- 2016-07-07 CN CN201610532398.2A patent/CN106201689B/en active Active
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN2894106Y (en) * | 2006-04-19 | 2007-04-25 | 哈尔滨工程大学 | Computer network credibility estimating device based on event implanting |
| CN103873281A (en) * | 2012-12-13 | 2014-06-18 | 北京旋极信息技术股份有限公司 | Management method of fault injection and fault injection method |
| CN103944778A (en) * | 2014-03-31 | 2014-07-23 | 哈尔滨工程大学 | Distributed event injection device based on combined test set |
| CN103970603A (en) * | 2014-05-21 | 2014-08-06 | 哈尔滨工程大学 | Task scheduling method of event injection engine based on multilevel feedback queue |
Non-Patent Citations (2)
| Title |
|---|
| 基于事件注入技术的网络可信性评测研究;庞永刚;《中国博士学位论文全文数据库 信息科技辑》;20080515(第05期);第50-54页 * |
| 基于事件注入的面向应用的软件健壮性评测;张大伟;《中国优秀硕士学位论文全文数据库 信息科技辑》;20111215(第S2期);第I138-604页 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN106201689A (en) | 2016-12-07 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Dawson et al. | Testing of fault-tolerant and real-time distributed systems via protocol fault injection | |
| Beccuti et al. | Quantification of dependencies between electrical and information infrastructures | |
| CN106201689B (en) | A kind of more queue events injection devices and method with timing control | |
| CN106155883B (en) | A kind of virtual machine method for testing reliability and device | |
| Cao et al. | Online testing framework for web services | |
| Horling et al. | Multi-agent system simulation framework | |
| Singh et al. | Verification of safety critical and control systems of Nuclear Power Plants using Petri nets | |
| CN109947535A (en) | The direct fault location external member of Virtual machine | |
| Sun et al. | R 2 C: Robust rolling-upgrade in clouds | |
| Larsen et al. | Online testing of real-time systems using uppaal: Status and future work | |
| Chen | Fundamentals of test case selection: Diversity, diversity, diversity | |
| Sun et al. | Quantifying failure risk of version switch for rolling upgrade on clouds | |
| Baier et al. | Waiting for locks: How long does it usually take? | |
| Tixeuil et al. | An overview of existing tools for fault-injection and dependability benchmarking in grids | |
| Lucas et al. | Detecting problematic message sequences and frequencies in distributed systems | |
| Bashiri et al. | Performability guarantee for periodic tasks in real-time systems | |
| Hasanain et al. | Automated state-based online testing real-time embedded software with RTEdge | |
| Dobre et al. | A simulation framework for dependable distributed systems | |
| Laibinis et al. | Integrating Event-B modelling and discrete-event simulation to analyse resilience of data stores in the cloud | |
| Yu et al. | A state of research review on fault injection techniques and a case study | |
| Zheng et al. | Mean time to security failure of VM-based intrusion tolerant systems | |
| Sosnowski et al. | An approach to distributed fault injection experiments | |
| Chen et al. | Testing an open source suite for open queuing network modelling using metamorphic testing technique | |
| Joshi et al. | Experimental evaluation of the unavailability induced by a group membership protocol | |
| Susuri et al. | Emulating Software and Hardware Faults In A Modified Linux Real-Time Environment |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |