The current practice of finding programming errors in operating system development is by testing and debugging. However, testing techniques are expensive because of their requirement of manual labour. Furthermore, they are susceptible to missing severe errors. This problem can be solved by applying automated verification techniques such as software model checking. Most of these techniques suffe...

In this discursive paper we discuss compositionality of (i) simple entities, (ii) operations, (iii) events and (iv) behaviours. These four concepts, (i)–(iv), together define a concept of entities. We view entities as “things” characterised by properties. We shall review some such properties. Mereology, the study of partwhole relations is then applied to a study of composite entities. We then s...

decolorization of aqueous solutions containing ionic dyes (reactive blue 19 and acid black 172) by a tfc commercial polyamide nanofilter (nf) in a spiral wound configuration was studied. the effect of operating parameters including feed concentration (60-180 mg/l), pressure (0.5-1.1 mpa) and ph (6-10) on dye removal efficiency was evaluated. the response surface method (rsm) was utilized for th...

Embedded systems as anti-blocking systems or engine controllers advance more and more into safety critical applications. The systems are increasingly distributed and interconnected. The software in these systems is gaining in significance rapidly and becomes larger and more complex at the same time. Therefore, new methods and procedures are needed in order to manage this complexity. The goal of...

The main work focus is on the LCC HVDC reactive power control system with fluid regulated AC voltage. and voltage capacity of were examined demonstrated controlled condensers. Reactive management have been suggested associated controllers variable condensers developed reverse side fuzzy system. active corrective required a or has taken into account in this work. This study looks at inverter cus...

Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both control and data dominated blocks. Conventional architectures and hardware–software platforms do not directly support such heterogeneity leading to complex design flow and verification process for such systems. This paper...

Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specif...

We present a semi-automatic design flow from Simulink models to prototypes of mixed hardware/software implementations of these models. Our work consists of three key contributions: (1) transformation of a functional model given in MATLAB/Simulink to the well-defined synchronous reactive model of computation (SR MoC), (2) an automatic SystemC code generation from Simulink models using the SR MoC...

In this paper, we present a framework and the software architecture for the deployment of multiple autonomous robots in an unstructured and unknown environment with applications ranging from scouting and reconnaissance, to search and rescue and manipulation tasks. Our software framework provides the methodology and the tools that enable robots to exhibit deliberative and reactive behaviors in a...