Hervé Kabamba | Universiteit Leiden (original) (raw)
Papers by Hervé Kabamba
Journal of Chengde …, Jan 1, 2005
In the past,most internet application were based on PC.Soon,embeded systems will take the place.N... more In the past,most internet application were based on PC.Soon,embeded systems will take the place.Nearly 70% message transferred through the Internet will be from embedded systems in the future.Embeded Internet technology is the developing trend of the network. ...
![Research paper thumbnail of Scheduling analysis of distributed real-time embeded systems [J]](https://attachments.academia-assets.com/11490202/thumbnails/1.jpg)
](Journal of Computational Information Systems, Jan 1, 2010
After modeling static scheduling of distributed embedded system using time Petri nets model based... more After modeling static scheduling of distributed embedded system using time Petri nets model based on resources, existing algorithms of scheduling analysis are difficult to get the characteristics of all scheduling sequences. So new state class is introduced, and the firing rules are set up, then the reachable graph of the model is constructed by confirming output transitions and computing child state class. All feasible scheduling sequences and corresponding scheduling length can be gotten from the reachable graph, so the most feasible scheduling sequences can be selected according to deadline requirement of the task. (Haitao ZHANG) → is the identifier. M is a vector, and denotes the number of tokens in each place;
Computer, Jan 1, 2003
... 2, SHANG Zhou ,MI Shou-fang ,SU Fei (Computer Science and Engineering Department, Dalian Nati... more ... 2, SHANG Zhou ,MI Shou-fang ,SU Fei (Computer Science and Engineering Department, Dalian Nationalities University, Dalian Development Zone 116600, China);The Analysis of Linux Network Device Driver Program[J];Journal of Dalian Nationalities University;2003-01. ...
… of the 2003 ACM symposium on …, Jan 1, 2003
Programmers of embedded systems often develop software in assembly code due to inadequate support... more Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many embedded applications are being used as a component of an increasing number of critical systems. While achieving high performance for these systems is important, ensuring that these systems execute correctly is vital. One portion of this process is to ensure that codeimproving transformations applied to a program will not change the program's semantic behavior, which may be jeopardized when transformations are specified manually. This paper describes a general approach for validation of many low-level code-improving transformations made either by a compiler or specified by hand. Initially, we associate a region of the program representation with a code-improving transformation. Afterwards, we calculate the region's effects on the rest of the program before and after the transformation. The transformation is considered valid when the effects before and after the transformation are identical. We implemented an automatic validation system in the vpo compiler. The system is currently able to validate all code-improving transformations in vpo except transformations that affect blocks across loop levels.
IEEE Transactions on Education, Jan 1, 2004
This paper describes a cooperative experiential learning activity to develop embedded systems des... more This paper describes a cooperative experiential learning activity to develop embedded systems design skills. Student teams design, build, and troubleshoot a microcontroller-based project composed of common embedded systems peripherals, including input/output and electromechanical devices, industry standard communication networks, and complex digital integrated circuits. The design experience is progressive, requiring each successive subsystem to be incorporated without disturbing previously completed subsystems. Furthermore, the design experience is based on a problem-based learning approach that motivates student learning and develops skills required by the student in a future professional capacity. These skills include designing to specification, use of third-party intellectual property, teamwork, communication, and lifelong learning skills. The design experience was offered to a cohort in conjunction with lectures using active learning techniques. Course evaluations were obtained from students and external reviewers, and the results show that the course was well received and achieved its educational objectives.
Software Engineering Conference, 2005. …, Jan 1, 2005
This paper proposes an approach of defining systemslevel security properties of component-based c... more This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system can be viewed either from the end-users' point of view, or from the software integrators' point of view. End users look more for the ultimate security goals achieved in the composite system, whereas software integrators are more interested in the compositional security properties of the system in terms of the required and ensured properties. Software integrators need to know how a composite system could be assembled further as a coarse-grained component with other applications. It is equally important for the end user of the system to know the actual security objectives achieved at the systems-level.
Software Engineering Conference, …, Jan 1, 2001
Exposing the security properties of software components can be the basis for a trust relationship... more Exposing the security properties of software components can be the basis for a trust relationship among components, and the exposed security could affect the underlying security of the enclosing system.
… on Component-Oriented …, Jan 1, 2002
Computer Software and Applications …, Jan 1, 2003
This paper explores how to characterise security properties of software components, and how to re... more This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components. This enables software components as well as composers to 'test' possible matches and mismatches between the security properties of the candidate components and the security requirements of the enclosing application system.
Master's thesis, University of …, Jan 1, 1997
We have investigated software development for open distributed systems in order to make this deve... more We have investigated software development for open distributed systems in order to make this development easier. Easier in the sense that software parts will be better reusable, more flexible and better maintainable. The hardest part is to address evolution of these systems because not all application requirements can be known in advance. In particular we have investigated the coordination aspects of open distributed systems. Coordination technology addresses the management of interaction of software agents in a distributed or parallel environment and, therefore, typically describes architectural aspects of a system. To reach the goal of easier software development we have applied a component oriented approach: generic coordination solutions are provided as generic architectures with black-box components. Applications are constructed using these architectures and composing and parameterizing these generic components. In this way we make the interaction part of a system reusable and flexible. The architecture of the system is also made clearer and therefore easier understandable.
Seminar on Coordination Models, …, Jan 1, 1996
Coordination technology addresses the construction of open, flexible systems from software agents... more Coordination technology addresses the construction of open, flexible systems from software agents in distributed systems. Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizing the coordination layer of a distributed application. Typically each new language proposes its own set of coordination abstractions that realizes a particular paradigm for realizing coordination. Coordination problems, however, are not always well-suited to a particular paradigm. Instead of proposing a new language, we are attempting to develop an open set of software components that realize various useful coordination abstractions. We are validating our approach by developing an experimental framework of coordination components in Java and applying them to a canonical set of sample applications. We present our initial analysis of the coordination domain, and give a few examples of simple applications using the developed coordination components.
Journal of mechanical science and …, Jan 1, 2005
Abstract In view of the lack of efficient coordination of interdependent task in the collaborativ... more Abstract In view of the lack of efficient coordination of interdependent task in the collaborative design system, the mechanisms for temporal and resource coordination problems are established based on Petri Nets, respectively. Both of the mechanisms are ...
Independent Component Analysis (ICA) is a signal-processing method to extract independent sources... more Independent Component Analysis (ICA) is a signal-processing method to extract independent sources given only observed data that are mixtures of the unknown sources. Recently, blind source separation by ICA has received considerable attention because of its potential ...
Journal of Chengde …, Jan 1, 2005
In the past,most internet application were based on PC.Soon,embeded systems will take the place.N... more In the past,most internet application were based on PC.Soon,embeded systems will take the place.Nearly 70% message transferred through the Internet will be from embedded systems in the future.Embeded Internet technology is the developing trend of the network. ...
Journal of Computational Information Systems, Jan 1, 2010
After modeling static scheduling of distributed embedded system using time Petri nets model based... more After modeling static scheduling of distributed embedded system using time Petri nets model based on resources, existing algorithms of scheduling analysis are difficult to get the characteristics of all scheduling sequences. So new state class is introduced, and the firing rules are set up, then the reachable graph of the model is constructed by confirming output transitions and computing child state class. All feasible scheduling sequences and corresponding scheduling length can be gotten from the reachable graph, so the most feasible scheduling sequences can be selected according to deadline requirement of the task. (Haitao ZHANG) → is the identifier. M is a vector, and denotes the number of tokens in each place;
Computer, Jan 1, 2003
... 2, SHANG Zhou ,MI Shou-fang ,SU Fei (Computer Science and Engineering Department, Dalian Nati... more ... 2, SHANG Zhou ,MI Shou-fang ,SU Fei (Computer Science and Engineering Department, Dalian Nationalities University, Dalian Development Zone 116600, China);The Analysis of Linux Network Device Driver Program[J];Journal of Dalian Nationalities University;2003-01. ...
… of the 2003 ACM symposium on …, Jan 1, 2003
Programmers of embedded systems often develop software in assembly code due to inadequate support... more Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many embedded applications are being used as a component of an increasing number of critical systems. While achieving high performance for these systems is important, ensuring that these systems execute correctly is vital. One portion of this process is to ensure that codeimproving transformations applied to a program will not change the program's semantic behavior, which may be jeopardized when transformations are specified manually. This paper describes a general approach for validation of many low-level code-improving transformations made either by a compiler or specified by hand. Initially, we associate a region of the program representation with a code-improving transformation. Afterwards, we calculate the region's effects on the rest of the program before and after the transformation. The transformation is considered valid when the effects before and after the transformation are identical. We implemented an automatic validation system in the vpo compiler. The system is currently able to validate all code-improving transformations in vpo except transformations that affect blocks across loop levels.
IEEE Transactions on Education, Jan 1, 2004
This paper describes a cooperative experiential learning activity to develop embedded systems des... more This paper describes a cooperative experiential learning activity to develop embedded systems design skills. Student teams design, build, and troubleshoot a microcontroller-based project composed of common embedded systems peripherals, including input/output and electromechanical devices, industry standard communication networks, and complex digital integrated circuits. The design experience is progressive, requiring each successive subsystem to be incorporated without disturbing previously completed subsystems. Furthermore, the design experience is based on a problem-based learning approach that motivates student learning and develops skills required by the student in a future professional capacity. These skills include designing to specification, use of third-party intellectual property, teamwork, communication, and lifelong learning skills. The design experience was offered to a cohort in conjunction with lectures using active learning techniques. Course evaluations were obtained from students and external reviewers, and the results show that the course was well received and achieved its educational objectives.
Software Engineering Conference, 2005. …, Jan 1, 2005
This paper proposes an approach of defining systemslevel security properties of component-based c... more This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system can be viewed either from the end-users' point of view, or from the software integrators' point of view. End users look more for the ultimate security goals achieved in the composite system, whereas software integrators are more interested in the compositional security properties of the system in terms of the required and ensured properties. Software integrators need to know how a composite system could be assembled further as a coarse-grained component with other applications. It is equally important for the end user of the system to know the actual security objectives achieved at the systems-level.
Software Engineering Conference, …, Jan 1, 2001
Exposing the security properties of software components can be the basis for a trust relationship... more Exposing the security properties of software components can be the basis for a trust relationship among components, and the exposed security could affect the underlying security of the enclosing system.
… on Component-Oriented …, Jan 1, 2002
Computer Software and Applications …, Jan 1, 2003
This paper explores how to characterise security properties of software components, and how to re... more This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framework provides an explicit opportunity for software composers as well as software components to test a priori security properties of software components in a system composition. The proposed framework uses logic programming as a tool to represent security properties of atomic components and reason about their compositional matching with other components. This enables software components as well as composers to 'test' possible matches and mismatches between the security properties of the candidate components and the security requirements of the enclosing application system.
Master's thesis, University of …, Jan 1, 1997
We have investigated software development for open distributed systems in order to make this deve... more We have investigated software development for open distributed systems in order to make this development easier. Easier in the sense that software parts will be better reusable, more flexible and better maintainable. The hardest part is to address evolution of these systems because not all application requirements can be known in advance. In particular we have investigated the coordination aspects of open distributed systems. Coordination technology addresses the management of interaction of software agents in a distributed or parallel environment and, therefore, typically describes architectural aspects of a system. To reach the goal of easier software development we have applied a component oriented approach: generic coordination solutions are provided as generic architectures with black-box components. Applications are constructed using these architectures and composing and parameterizing these generic components. In this way we make the interaction part of a system reusable and flexible. The architecture of the system is also made clearer and therefore easier understandable.
Seminar on Coordination Models, …, Jan 1, 1996
Coordination technology addresses the construction of open, flexible systems from software agents... more Coordination technology addresses the construction of open, flexible systems from software agents in distributed systems. Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizing the coordination layer of a distributed application. Typically each new language proposes its own set of coordination abstractions that realizes a particular paradigm for realizing coordination. Coordination problems, however, are not always well-suited to a particular paradigm. Instead of proposing a new language, we are attempting to develop an open set of software components that realize various useful coordination abstractions. We are validating our approach by developing an experimental framework of coordination components in Java and applying them to a canonical set of sample applications. We present our initial analysis of the coordination domain, and give a few examples of simple applications using the developed coordination components.
Journal of mechanical science and …, Jan 1, 2005
Abstract In view of the lack of efficient coordination of interdependent task in the collaborativ... more Abstract In view of the lack of efficient coordination of interdependent task in the collaborative design system, the mechanisms for temporal and resource coordination problems are established based on Petri Nets, respectively. Both of the mechanisms are ...
Independent Component Analysis (ICA) is a signal-processing method to extract independent sources... more Independent Component Analysis (ICA) is a signal-processing method to extract independent sources given only observed data that are mixtures of the unknown sources. Recently, blind source separation by ICA has received considerable attention because of its potential ...