This paper proposes a hardware fault detection approach by using redundancy core for Multiprocessor system-on-chip (MPSoC). The proposed approach insert some error detection code in high level code and remove the calc...
详细信息
This paper proposes a hardware fault detection approach by using redundancy core for Multiprocessor system-on-chip (MPSoC). The proposed approach insert some error detection code in high level code and remove the calculation of detection code to the redundancy core of MPSoC. The author compares the proposed approach with several soft-based fault detection methods on fault detection capabilities, area, memory and performance overheads in an experiment platform. The result of comparative evaluation shows that the proposed approach is effective for MPSoC, taking some advantages in flexibility and lower cost.
Mapping parallel applications to multi-processor architectures requires information about the execution times of the concurrent processes to find an optimal allocation and must take into account the interprocessor com...
详细信息
Techniques of automated service composition can shorten development time by generating a concrete service composition out of a set of abstract composition requirements. However, no existing fully automated approach is...
详细信息
Techniques of automated service composition can shorten development time by generating a concrete service composition out of a set of abstract composition requirements. However, no existing fully automated approach is able to deal with timed services and timed composition requirements. In this work, we propose an approach for the automated composition of timed services, represented as timed i/o automata, by adapting the AI planning method Planning as Model Checking. Thus, the concept of automated service composition can be used in domains with real-time requirements. As case study, we model a system where medical devices need synchronization during surgery.
For modeling modern streaming-oriented applications, Process Networks (PNs) are used to describe systems with changing behavior, which must be mapped on a concurrent architecture to meet the performance and energy con...
详细信息
Designing and building embeddedsystems is a challenging problem. Designers must ensure that the software architecture meets its functional requirements and also, since embeddedsystems often have real-time constraint...
详细信息
To succeed, a software quality improvement (SQI) initiative must reflect organizational culture and the values that compose it. A study to define these values in software organizations includes proposals for implement...
详细信息
To succeed, a software quality improvement (SQI) initiative must reflect organizational culture and the values that compose it. A study to define these values in software organizations includes proposals for implementing them.
Relaying is a very promising technique to improve the reliability of data transmission in wireless (industrial) networks. With relaying, relay nodes support source nodes in carrying out retransmissions. A common assum...
详细信息
This paper presents a practical solution to a reallife industrial problem in the unmanned space flight software (FSW) domain using software product lines and software architectural design patterns. In the FSW domain, ...
详细信息
UML profiling is pragmatic choice that lets language designers define a Domain-Specific Modeling Language (DSML) by tuning UML to meet specific domain. An alternative approach is to define a pure-DSML. Each approach h...
详细信息
Booting is a process that initializes all the systems and it is an essential process of operating system to *** of this reason,system users have to wait until this process finishes and it is very ***,non-volatile memo...
详细信息
Booting is a process that initializes all the systems and it is an essential process of operating system to *** of this reason,system users have to wait until this process finishes and it is very ***,non-volatile memories are rising up as an alternative method for *** non-volatile characteristic makes several processes in existing boot mechanism *** these processes are eliminated,the system users can spend shorter time to control the *** this paper,we propose a technique which uses only one kernel image for every booting by using non-volatile memories.
暂无评论