A Flexible Integration Strategy for In-Car Telematics Systems

Size: px
Start display at page:

Download "A Flexible Integration Strategy for In-Car Telematics Systems"

Transcription

1 A Flexible Interation Stratey for In-Car Telematics Systems Thomas Bauer Jens Herrmann Peter Liesmeyer Christopher Robinson-Mallett University of Potsdam Hasso-Plattner-Institute DaimlerChrysler AG Berlin University of Kaiserslautern Fraunhofer IESE University of Potsdam Hasso-Plattner-Institute ABSTRACT This paper presents an approach for the plannin of interation tests of automotive telematics systems. To our knowlede no method for the determination of an interation order exists that takes the project and the system environment into account, which in our opinion reatly influence the interation order. Furthermore, most known test eneration methods and structural quality measures demand syntactically sound specifications to be applied efficiently. In our projects Messae Sequence Charts are often created manually from the scratch with many different tools, and therefore they are of rather low syntactical quality. This paper addresses the determination of an interation stratey, which can easily be adapted to chanes in the project or in the system environment, and which can be manually applied to any iven specification. Cateories and Subject Descriptors D..5 Testin and Debuin, D.8 Metrics, D.9 Manaement. General Terms Manaement, Measurement, Reliability, Human Factors, Standardization, Verification.. INTRODUCTION The development of in-car telematics systems (fiure ) is usually a common task of a sinle system developer, i.e. the car manufacturer, and many external component suppliers. The development of the telematics components is based on requirements, which are defined in contracts between system developer and suppliers. These documents miht contain various document types, e.. functional and requirements specifications, statecharts, or messae sequence charts (MSCs). The interation and the implied interation testin of the externally developed components is achieved by the system developer. The interation test is based on specifications which describe the architecture of the telematics system, includin the interaction of the components. Typically, the internal structure and the behavior of the components are hidden to the system interator and the required component behavior is unit tested riht after delivery. Therefore, an interation test of a telematics system is usually based on requirements documents that mainly describe the component interaction and communication and which are in our case MSCs of varyin quality. Keywords Interation Testin, Automotive, Telematics, Test Plannin, Components, Messae Sequence Charts PERMISSION TO MAKE DIGITAL OR HARD COPIES OF ALL OR PART OF THIS WORK FOR PERSONAL OR CLASSROOM USE IS GRANTED WITHOUT FEE PROVIDED THAT COPIES ARE NOT MADE OR DISTRIBUTED FOR PROFIT OR COMMERCIAL ADVANTAGE AND THAT COPIES BEAR THIS NOTICE AND THE FULL CITATION ON THE FIRST PAGE. TO COPY OTHERWISE, OR REPUBLISH, TO POST ON SERVERS OR TO REDISTRIBUTE TO LISTS, REQUIRES PRIOR SPECIFIC PERMISSION AND/OR A FEE. ICSE SEAS 05, MAY, 005, ST. LOUIS, MISSOURI, USA. 005 ACM /05/ $5.00 Fiure : In-car telematics MOST network To our knowlede no sufficient solutions nor experiences on interation testin of in-car telematics systems, e.. info- and entertainment systems, on the basis of MSCs exist, which take the project and the system environment into account. This paper presents a flexible plannin method for interation tests of in-car telematics systems in an industrial environment that is based on environmental aspects, risk analysis and communication structure.

2 As the most important task durin interation of telematics systems the development of an interation stratey is closely examined. A sufficient interation stratey must be intuitively, easy to adapt to chanin requirements, and furthermore it has to represent the project situation and the telematics characteristics. Diverse testin methods must be chosen and applied in conjunction with the interation stratey. In each interation step and on each specification document a different testin method may be appropriately used for the construction of test cases. Therefore, this paper also aims at the measurement of the characteristics of specification documents used in the development of telematics systems. This paper is oranized in seven sections. In section related work is presented and the motivation of our work is explained in the presence of existin interation testin approaches. The basics of in-car telematics systems are iven in section 3. In section 4 a schema of an interation test plan is presented, which is structured into packaes to map the stepwise nature of interation testin. The development of the interation stratey is presented in section 5. This section contains three subsections for environment, risk, and structure analyses that are used to determine the interation order. The application of the interation order to the MSCs of a project and a concept for the construction of test-cases are presented in section 6. Finally, this work is concluded and future research topics are presented.. RELATED WORK The eneral use of messae sequence charts in softwaredevelopment is defined in two most important standards, the ITU Z.0 [] and the UML.0 Specification [3]. The Z.0 standard aims the area of communication networks where MSCs are used for the description of the interaction between distributed components. The UML specification describes MSCs with a more eneral purpose, but which are often associated with the description of object interaction. A detailed comparison of these standards can be found in [4]. The Testin and Test Control Notation, formerly referred to as Tree and Tabular Control Notation, in its latest version TTCN-3 was developed to allow the specification of detailed tests for communicatin systems [8]. The papers of Baker et. al. [5] and Ebner [6] are describin in detail the test-case eneration on the basis of MSCs for the use with TTCN [7,8]. The method of Baker et. al. was realized in the ptk-tool to enerate TTCN- test-cases from MSC-000 specifications. The method of Ebner is eneratin TTCN-3 testcases from UML-MSCs. Relatively few work exists on the determination of an interation order. Briand et. al. presented an approach for the determination of an optimal interation order on the basis of couplin measures and enetic alorithms [9,0]. Wu et. al. proposed a method for the interation of component software on the basis of UML statecharts and collaboration diarams, usin structural analysis techniques for the examination of the component-dependencies []. Other work was presented on the eneration of test-cases for interation testin on the basis of UML diarams [,3,4,5]. The work of Basanieri and Bertolino [4] also aims for the development of an practical approach. Beside the application of coverae criteria to MSCs, the test-case eneration is also based on use-case-maps, and class diarams. Althouh this work is aimin for similar practical problems, their work is restricted to structural analyses. Driver C C Stub C 3 Stub Fiure : Testbed Confiuration of an interation step Thouh, the mentioned approaches and methods solve many of the practical problems that we are facin in the interation of automotive telematics systems, there was none that could be applied to our projects. First of all, none of these methods take the project and the system environment into account, which in our opinion reatly influence the interation order. Furthermore, most of the presented test eneration methods and structural quality measures demand syntactically sound MSCs to be applied efficiently. In our projects MSCs are often created manually from the scratch with many different tools, and therefore MSCs are of rather low syntactical quality. Therefore, this paper addresses the determination of an interation stratey which can easily be adapted to chanes in the project or in the system environment, and which can be manually applied to the iven MSCspecifications. 3. IN-CAR TELEMATICS SYSTEMS The telematics systems under test are interated in-car entertainment and infotainment components such as a central user interface, naviation system, radio, audio amplifier, cd-chaner etc. Most of the telematics features are realized by the simultaneous interplay of these components, e.. on phone call the cd-player is paused and the audio amplifier allocates audio channels for the hands-free speakin system. A cost effective way to continue innovatin in all these areas is to allow the devices to be developed independently by different suppliers and to be networked usin standard hardware and software interfaces. Challenes arise due to the limited component observability durin interation testin, because the behavior can only be observed throuh the component s interfaces. The various components of the system are connected usin several networkin standards. One prominent standard is currently Media Oriented System Transport (MOST) []. In fiure a characteristic example of the application of MOST in the automotive sector is presented. The development and interation of automotive telematics system components is accompanied by a number of testin phases. Initially each component is separately unit tested aainst its specification. Thouh, much of the functionality of a system can only be tested when a number of devices are interated in the network. Durin interation testin functionalities are tested aainst system specifications that are distributed across a number of devices., e.. telephony, naviation. Finally, durin system testin the interoperability of features and the interaction between system and environment are checked. The suppliers are mainly responsible for unit testin while the car manufacturer typically focuses on interation and system testin of the telematics network. Due to our experience, the interation testin phase is the most critical testin phase for the car manufacturer.

3 Interation Stratey Testbed Minimal Confiuration Test Plan Test Protocol Requirements Environment Risk Structure Component Metrics Standards Guidelines Contracts Messae Sequence Charts Test References Input Interation Stratey Time- and Cost Plan Testin Methods Test Cases Test Run Activities Test Evaluation Activities Plannin Goals Plannin Testin Methods Step i Test Cases Step i Testbed Step i Relevant for Step i Standards Guidelines Contract Pararaphs Relevant for Step i MSCs References i Interation-Step i Output Fiure 3: Interation Test Plannin 4. INTEGRATION TEST PLAN The interation test of telematics systems aims for the detection of faults in the interaction and communication of the concurrently workin components. The system is interated and tested incrementally, i.e. in each step exactly one component is interated and the interaction and communication concernin this component is covered with test-cases. As a prerequisite, each component has to be sufficiently unit-tested before interation. The order of the components durin interation follows a chosen stratey, which has to take environment, criticality, and structure into account. The missin components in an interation step have to be substituted and simulated by drivers and stubs. Therefore each interation step demands a specific hardware and software infrastructure which embeds the components under test (CUTs). An example of a hardware confiuration of such a test bed is presented in fiure. A test bed consists of a minimal confiuration, which is not chaned durin the whole interation process, and a flexible confiuration, which is adapted to the CUTs in each interation step. The minimal confiuration is constructed and applied before the interation is started. It has to provide the tester with the ability to observe and control the communication and the interaction of the CUTs. The several step-specific confiurations are constructed and applied on the basis of information derived from the interation stratey. A step specific confiuration may consist of additional components to simulate component behaviour, referred to as stubs, or to stimulate behaviour, referred to as drivers. After construction of the step-specific confiuration the test-cases are automatically executed. The resultin test-protocol of a step is evaluated aainst a test reference which contains all relevant documents related to the CUTs. These test references may include functional and requirements specifications, contractual areements, or standards and uidelines. In this paper it is assumed, that the component communication and interaction is specified in the form of MSCs, aainst which the test-protocols are evaluated. In fiure 3 a schema of plannin the interation testin of telematics systems is presented. In the center the oals of the plannin process are placed. The input of the plannin process consists of the minimal test bed confiuration, environment, risk and structure measures of each component, and the test references. Durin interation test plannin the stratey is determined, i.e. the order in which components are interated. Based on the interation stratey and the component metrics for each interation step, respectively component, testin methods are chosen and optionally test cases can be determined. Furthermore, all requirements for runnin tests are identified, which means first of all complementin the test bed for each interation step. Based on the interation stratey the relevant testin references for each step are identified. At last, a time and cost plan is arraned which also takes the relevant activities and resources of each interation step into account. 5. INTEGRATION STRATEGY An sufficient interation stratey must be flexible to react on chanes in the requirements or in the environment of the software development project, e.. component delivery delay or sudden customer presentations. Fiure 3 presents the development of an interation stratey from environment, risk and structure analyses. Furthermore standards, rules and uidelines have to be taken into account. In this section the development of an interation stratey throuh analytical means is presented in detail.

4 5. Environment Analysis The environment influences the interation of components throuh economical, technical and oranizational constraints. A chane in one of these constraints miht enforce a chane in the interation order of the CUTs. Table : Interation by Delivery Date ORDER CUT DELIVERY DATE b approved d Oct 0 th a Oct th e Oct. 3 th c Oct. 3 th f Oct. 3 th Oct. 4 th 004 An important oranizational and economical aspect of the environmental constraints is the delivery date of a CUT. The delivery dates of the CUTs constitute an economical interation order. CUTs with early delivery dates have a hih interation priority, while CUTs with late delivery dates are of low priority. The interation stratey has to be chaned, when a CUTs delivery is delayed after its scheduled interation date. A delayed component is scheduled for interation as soon as possible after the delayed delivery date. The interation by delivery date of an exemplary system of seven components is presented in table. The interation order of the components e, c, f and b is arbitrary, because e, c, and f are delivered on the same day and b is approved. Table : Interation by Approval ORDER CUT LAST CHANGE a Oct. 0 th. 004 d Oct. st e Au. th f Mar. 3 rd Jan. 0 th b Dec. th c Jan. st 003 In many development projects a number of CUTs are approved components or have the same delivery date. In these cases the determination of an interation order demands other criteria. Another environmental aspect for the interation of components is the practical approval of CUTs. A CUT which has been approved in the field for a lon period demands less testin than a lately developed component. Therefore CUTs miht be ordered accordin to their approval in the field. The example in table presents the interation by approval of the system with seven CUTs. These results can be combined with table, which allows a determined interation each CUT. For the purpose of interation testin the orderin by approval is only a very weak criteria, because the approval of a component in a different environment is only a weak indicator that it will work properly in the iven environment. To prove this is actually the purpose of the interation test. Another aspect for the determination of an interation order is the technical environment of the CUTs. In some cases it miht be necessary to interate multiple CUTs at once or in a fixed order, when the technical dependence between these components is very stron, e.. a CD-chaner that stronly depends on a stereo controller component. There are probably many more technical and oranizational aspects than we are able to consider in this paper, therefore we only propose for the iven example the consideration of technical and oranizational aspects of the system and the project environment. An additional table for each considered aspect can achieve this. 5. Risk Analysis The oal of a development project is put at risk by problems concernin the product and the project itself. Therefore the risk analysis and risk reducin tasks have important influences to the success of a project. A risk should be discovered and reduced as early as possible. Obviously, this also influences the interationtestin phase. A risk analysis is based on functional and requirements specifications and experiences from foreoin projects in the form of fault and risk statistics. For the determination of an interation stratey the risk analysis of the CUTs and of the system are of major importance. A risk analysis can be carried out with checklists, questionnaires, and reviews. Table 3: Interation by Risk ORDER CUT RISK LEVEL e 7 c 7 3 d b 5 6 f 3 7 a 3 The output of a risk analysis can be used for the determination of an interation stratey. A CUT with a hiher risk is interated earlier, than a CUT of lower priority. Therefore, CUTs of hih priority are loner tested in favour to lower priority CUTs. In table 3 the example of the system with seven CUTs is ordered on the basis of a risk analysis. The risk is measured in terms of low risk (3), medium risk (5), and hih risk (7) - the risk values 3,5, and 7 are freely chosen. Obviously, this risk analysis is too coarse to provide a complete interation stratey, thouh it orders a, b, and c. In combination with the environmental analysis only e can be interated arbitrarily. A detailed risk analysis could help to determine the interation of e, but usually a complete risk analysis just for the purpose of interation cannot be achieved economically. It is more realistic to suppose, that a risk analysis from earlier development phases is used.

5 a md5 ma md3 ma md6 ma b d f Derive Communication Graph from MSCs. Map Interaction Components on Nodes. Map Communication between Components on Edes 3. Label Edes with Number of Messaes sent between Components b c 5 a d e 3 c e 3 f 3 b d e d md3 me m md4 Fiure 4: Communication Structure of Seven CUTs Example 5.3 Structure Analysis The CUTs are communicatin via the MOST rin. Despite the topoloy of the underlyin communication system the communication structure of the system is dependin only on the implementation of the CUTs. Based on a structural analysis an interation stratey can be developed, which takes the intensity of the interaction and communication of a CUT with other CUTs into account. Therefore, CUTs with a hih interaction and communication intensity are earlier interated than components with a low intensity. Table 4: Interation by Rane a b c d e f R a b c d e f In fiure 4 the communication structure of the example of the seven CUTs is presented in the form of a denoted, directed raph. The nodes represent the CUTs. An ede between a and b represents a communication from a to b, which in our case means a sends a messae to b. Each ede is denoted with an inteer value, which represents the number of sent messaes. For the analysis of the communication structures the activity and the rane of a CUT are measured. The rane R is the number of f me3 mf m m3 partners, a CUT is sendin messaes to. The activity A is the number of messaes a CUT is sendin overall. In table 4 the calculation of the ranes for the example with seven CUTs is demonstrated. The rows of the relation matrix represent the communication of the row components with the column components. A rane R of a component is the sum of the values of its row in the rane matrix. Table 5: Interation by Activity a b c d e f A a b c d e f In table 5 the calculation of the activities for our example with a relation table is demonstrated. The rows of the table contain the numbers messaes bein sent by a row CUT to a column CUT. An activity measure A of a component is the sum of the values of its row in the activity matrix. Table 6: Interation by Intensity ORDER CUT INTENSITY d 3 a 3 f 7 4 c 6 5 e 4 6 b 3 7 The rane and the activity measures are used to determine the interation order. Hihly active components with a wide rane are interated first. The sum of the activity and rane values results in the communication intensity. For further application other combination rules may be applied. 5.4 Interation Order The environment, risk and structure analyses are finally combined in an interation stratey. First of all, the environment measures are applied in order to achieve flexibility on chanes in the project environment. The risk measures are taken into account secondly, if still unordered CUTs exist. Finally, the structure measures complete the interation order. This order is mainly motivated by our experience, that in most projects the oranizational and the technical restrictions are of hihest importance. Structural measures are of lowest importance, because they lack intuition and usually demand a certain deree of formality to be applied efficiently. In our projects we usually find specifications of varyin quality. Therefore, we cannot apply interation methods which depend on formal specifications and tool-support e.. time and cost optimal interation methods, which minimize the effort of the test environment implementation.

6 ORDER CUT DELIVERY DATE b approved d Oct 0 th a Oct th e Oct. 3 th c Oct. 3 th f Oct. 3 th Oct. 4 th 004 ORDER CUT RISK LEVEL e 7 c 7 3 d b 5 6 f 3 7 a 3 3 ORDER CUT LAST CHANGE a Oct. 0 th. 004 d Oct. st e Au. th f Mar. 3 rd Jan. 0 th b Dec. th c Jan. st 003 ORDER CUT INTENSITY d 3 a 3 f 7 4 c 6 5 e 4 6 b 3 7 ORDER CUT b d 3 a 4 c 5 e 6 f 7 In fiure 5 the determination of the interation order for the example with seven CUTs is presented as a whole. The dotted lines in the example represent alternative or additional criteria, which are not used here. The lines demonstrate the orderin of the CUTs. The delivery date leaves the components b, e, c, and f unordered. Therefore, the risk level is used, althouh the CUTs e and c still remain unordered. At last the intensity ives order to e and c and a final interation stratey is determined. 6. STEPWISE TEST-CASE DEVELOPMENT After determination of an interation order the test-cases for each interation step can be developed. The MSCs of the example in fiure 4 are sorted out and derived to stepwise MSCs, which are the basis for the test-case eneration. In fiure 6 the MSCs of the example are used to create test-cases for the seven interation-steps. Based on the CUTs which are interated in one step, the relevant MSCs are chosen. If a MSC contains CUTs that are not interated until this interation step, those CUTs, and all the communication amon them, are deleted from the MSC. Instead of the deleted CUTs stubs are added to the MSC. The remainin communication of the MSC is defined only between interated CUTs, stubs and drivers. The stepwise test-case eneration is dependin on the remainin structure of the MSCs. Testin methods, e.. messae, condition, or data flow coverae criteria, are chosen dependin on the existence of messae parameters, conditions and uards, loops, and lobal data. The details of test-case eneration on the basis of MSCs was presented in a number of papers and is not in the focus of this work. For further information on this topic we refer to literature mentioned in the related work section. Fiure 5: Combined Interation Stratey 7. CONCLUSION In this work, we presented an approach for the plannin of interation tests of automotive telematics systems. The interation testin is based on informal MSCs, which are used for the specification of the interaction of telematics components. In contrast to other interation strateies in the presence of raphical communication specifications, our approach prefers environmental and risk analyses over structure analyses. Because of the simplicity of the measures and techniques used in our approach, we think it can be efficiently applied to many industrial projects. Even in the case that only informal MSCs are used and therefore tool assistance is not possible, the tester can easily develop a test plan and test cases manually. In further research and publication we will focus on the test case eneration on the basis of step-wise MSCs. An important requirement of such a method is the quick reaction on chanes in the project environment. Therefore an efficient testin method for this approach must be hihly adaptable. To ease the practical application of out approach we aim for the development of a set of easy-to-use spread-sheet implementations, checklists, and questionnaires. The aim of this development will be to formalise the process of interation test plannin and to increase the acceptance of this approach amon system developers and testers. In the near future we will apply this approach to a number of industrial projects for the development of automotive info- and entertainment systems. Furthermore, we are workin on the adaption of this approach to other automotive software systems e.. enine manaement or driver assistance systems.

7 Literature [] MOST-Cooperation, Media Oriented System Transport, Step a b c b d [] ITU, ITU Z.0 Messae Sequence Charts (MSC-000), / [3] Object Manaement Group, OMG UML.0, technoloy/documents/modelin_spec_catalo.htm [4] O.Hauen, Comparin UML.0 Interactions and MSC-000, SAM 004, 4 th International SDL and MSC Workshop, Ottawa, Canada, 004 [5] P. Baker, P. Bristow, C. Jervis, D. J. Kin, B. Mitchel, Automatic Generation of Conformance Tests from Messae Sequence Charts, SAM 00 3 rd International SDL and MSC Workshop, Aberystwyth, 00 [6] M. Ebner, TTCN-3 Test Case Generation from Messae Sequence Charts, ISSRE 04, Workshop on Interated Reliability with Telecommunications and UML, Rennes, 004 [7] ITU-T Recommendation X.9, OSI conformance testin methodoloy and framework for protocol Recommendations for ITU-T applications The Tree and Tabular Combined Notation (TTCN), 998 [8] ITU-T Recommendation Z.40, The Tree and Tabular Combined Notation version 3 (TTCN-3): Core Lanuae, 00 [9] L. Briand, Y. Labiche, Y. Wand, An Investiation of Graph- Based Class Interation Test Order Strateies, IEEE Transactions on Software Enineerin, 9 (6), 003 [0] L. Briand, J. Fen, Y. Labiche, Experimentin with Genetic Alorithms and Couplin Measures to Devise Optimal Interation Test Orders, Software Enineerin with Computational Intellience, Spriner Verla, Berlin, 003 [] Y. Wu, M. Chen, J. Offutt, UML-based Interation Testin for Component-Based Software, nd International Conference on COTS-Based Software Systems (ICCBSS), Ottawa, 003 [] W. K. Chan, T. Y. Chen, T. H. Tse, An Overview of Interation Testin Techniques for Object-Oriented Prorams, Proceedins of the nd Annual International Conference on Computer and Information Science (ICIS 00), Mt. Pleasant, 00 [3] F. Basanieri, A. Bertolino, E. Marchetti, A. Ribolino, G. Lombardi, G. Nucera, An Automated Test Stratey Based on UML Diarams, Proc. Ericsson Rational User Conference, Upplands Vasby, Sweden, October 00 [4] F. Basanieri, A. Bertolino, A practical approach to UMLbased derivation of interation tests, Proc. Software Quality Week Europe QWE000, 000 [5] R. Heckel, L. Mariani, Component Interation Testin by Graph Transformations, International Conference on Computer Science, Software Enineerin, Information Technoloy, e- Business, and Applications, Cairo, 004 Step Step 3 Step 4 Step 5 Step 6 Step 7 a b d d f d f d f me e d f m me e d f m me e d f m me Fiure 6: Stepwise Test-Case Development mf m m3 mf m m3

optimization agents user interface agents database agents program interface agents

optimization agents user interface agents database agents program interface agents A MULTIAGENT SIMULATION OPTIMIZATION SYSTEM Sven Hader Department of Computer Science Chemnitz University of Technoloy D-09107 Chemnitz, Germany E-Mail: sha@informatik.tu-chemnitz.de KEYWORDS simulation

More information

Mission Families: a cost effective approach to Mission Control System development

Mission Families: a cost effective approach to Mission Control System development Mission Families: a cost effective approach to Mission Control System development Damiano Guerrucci, Vemund Reestad, Mario Merri, Pierpaolo Emanuelli European Space Aency (ESA) European Space Operations

More information

A SUIF Interface Module for Eli. W. M. Waite. University of Colorado

A SUIF Interface Module for Eli. W. M. Waite. University of Colorado A SUIF Interace Module or Eli W. M. Waite Department o Electrical and Computer Enineerin University o Colorado William.Waite@Colorado.edu 1 What is Eli? Eli [2] is a domain-specic prorammin environment

More information

Heuristic Searching: A* Search

Heuristic Searching: A* Search IOSR Journal of Computer Enineerin (IOSRJCE) ISSN: 2278-0661 Volume 4, Issue 2 (Sep.-Oct. 2012), PP 01-05 Nazmul Hasan (Department of Computer Science and Enineerin, Military Institute of Science and Technoloy,

More information

Database Security. Professor Sushil Jajodia George Mason University

Database Security. Professor Sushil Jajodia George Mason University Database Security Professor Sushil Jajodia Geore Mason University 703-993-1640 jajodia@mu.edu http://isse.mu.edu/~csis/faculty/jajodia.html 4-03 2 Discretionary Access Controls Users can protect what they

More information

Leveraging Models at Run-time to Retrieve Information for Feature Location

Leveraging Models at Run-time to Retrieve Information for Feature Location Leverain Models at Run-time to Retrieve Information for Feature Location Lorena Arcea,2, Jaime Font,2 Øystein Hauen 2,3, and Carlos Cetina San Jore University, SVIT Research Group, Zaraoza, Spain {larcea,jfont,ccetina}@usj.es

More information

An Internet Collaborative Environment for Sharing Java Applications

An Internet Collaborative Environment for Sharing Java Applications An Internet Collaborative Environment for Sharin Java Applications H. Abdel-Wahab and B. Kvande Department of Computer Science Old Dominion University Norfolk, Va 23529 fwahab,kvande@cs.odu.edu O. Kim

More information

Bus-Based Communication Synthesis on System-Level

Bus-Based Communication Synthesis on System-Level Bus-Based Communication Synthesis on System-Level Michael Gasteier Manfred Glesner Darmstadt University of Technoloy Institute of Microelectronic Systems Karlstrasse 15, 64283 Darmstadt, Germany Abstract

More information

Imitation: An Alternative to Generalization in Programming by Demonstration Systems

Imitation: An Alternative to Generalization in Programming by Demonstration Systems Imitation: An Alternative to Generalization in Prorammin by Demonstration Systems Technical Report UW-CSE-98-08-06 Amir Michail University of Washinton amir@cs.washinton.edu http://www.cs.washinton.edu/homes/amir/opsis.html

More information

P2P network traffic control mechanism based on global evaluation values

P2P network traffic control mechanism based on global evaluation values June 2009, 16(3): 66 70 www.sciencedirect.com/science/ournal/10058885 The Journal of China Universities of Posts and Telecommunications www.buptournal.cn/ben P2P network traffic control mechanism based

More information

Local linear regression for soft-sensor design with application to an industrial deethanizer

Local linear regression for soft-sensor design with application to an industrial deethanizer Preprints of the 8th IFAC World Conress Milano (Italy) Auust 8 - September, Local linear reression for soft-sensor desin with application to an industrial deethanizer Zhanxin Zhu Francesco Corona Amaury

More information

General Design of Grid-based Data Replication. Schemes Using Graphs and a Few Rules. availability of read and write operations they oer and

General Design of Grid-based Data Replication. Schemes Using Graphs and a Few Rules. availability of read and write operations they oer and General esin of Grid-based ata Replication Schemes Usin Graphs and a Few Rules Oliver Theel University of California epartment of Computer Science Riverside, C 92521-0304, US bstract Grid-based data replication

More information

THE FEASIBILITY OF SMOOTHED PARTICLE HYDRODYNAMICS FOR MULTIPHASE OILFIELD SYSTEMS

THE FEASIBILITY OF SMOOTHED PARTICLE HYDRODYNAMICS FOR MULTIPHASE OILFIELD SYSTEMS Seventh International Conference on CFD in the Minerals and Process Industries CSIRO, Melbourne, Australia 9-11 December 009 THE FEASIBILITY OF SMOOTHED PARTICLE HYDRODYNAMICS FOR MULTIPHASE OILFIELD SYSTEMS

More information

Efficient Generation of Large Amounts of Training Data for Sign Language Recognition: A Semi-automatic Tool

Efficient Generation of Large Amounts of Training Data for Sign Language Recognition: A Semi-automatic Tool Efficient Generation of Lare Amounts of Trainin Data for Sin Lanuae Reconition: A Semi-automatic Tool Ruiduo Yan, Sudeep Sarkar,BarbaraLoedin, and Arthur Karshmer University of South Florida, Tampa, FL,

More information

Reducing network cost of many-to-many communication in unidirectional WDM rings with network coding

Reducing network cost of many-to-many communication in unidirectional WDM rings with network coding Reducin network cost of many-to-many communication in unidirectional WDM rins with network codin Lon Lon and Ahmed E. Kamal Department of Electrical and Computer Enineerin, Iowa State University Email:

More information

Aspect-oriented programming with AspectJ

Aspect-oriented programming with AspectJ Aspect-oriented prorammin with AspectJ & A. Colyer A. Clement Aspect-oriented prorammin (AOP) is an excitin new development in the field of software enineerin. The open-source AspectJt project has taken

More information

Low cost concurrent error masking using approximate logic circuits

Low cost concurrent error masking using approximate logic circuits 1 Low cost concurrent error maskin usin approximate loic circuits Mihir R. Choudhury, Member, IEEE and Kartik Mohanram, Member, IEEE Abstract With technoloy scalin, loical errors arisin due to sinle-event

More information

The SpecC Methodoloy Technical Report ICS December 29, 1999 Daniel D. Gajski Jianwen Zhu Rainer Doemer Andreas Gerstlauer Shuqin Zhao Department

The SpecC Methodoloy Technical Report ICS December 29, 1999 Daniel D. Gajski Jianwen Zhu Rainer Doemer Andreas Gerstlauer Shuqin Zhao Department The SpecC Methodoloy Technical Report ICS-99-56 December 29, 1999 Daniel D. Gajski Jianwen Zhu Rainer Doemer Andreas Gerstlauer Shuqin Zhao Department of Information and Computer Science University of

More information

TETROBOT: A NOVEL MECHANISM FOR RECONFIGURABLE PARALLEL ROBOTICS. Student, Machine Building Faculty, Technical University of Cluj-Napoca

TETROBOT: A NOVEL MECHANISM FOR RECONFIGURABLE PARALLEL ROBOTICS. Student, Machine Building Faculty, Technical University of Cluj-Napoca UNIVERSITATEA TRANSILVANIA DIN BRA0OV Catedra Desin de Produs 1i Robotic2 Simpozionul na8ional cu participare interna8ional9 PRoiectarea ASIstat9 de Calculator P R A S I C ' 02 Vol. I Mecanisme 1i Triboloie

More information

Reducing Network Cost of Many-to-Many Communication in Unidirectional WDM Rings with Network Coding

Reducing Network Cost of Many-to-Many Communication in Unidirectional WDM Rings with Network Coding 1 Reducin Network Cost of Many-to-Many Communication in Unidirectional WDM Rins with Network Codin Lon Lon and Ahmed E. Kamal, Senior Member, IEEE Abstract In this paper we address the problem of traffic

More information

Abstraction Library. Abstraction-Based Specializer

Abstraction Library. Abstraction-Based Specializer Bandera : Extractin Finite-state Models from Java Source Code James C. Corbett University of Hawai`i Department of Information and Computer Science Honolulu, HI 96822 +1 808 956 6107 corbett@hawaii.edu

More information

Protection of Location Privacy using Dummies for Location-based Services

Protection of Location Privacy using Dummies for Location-based Services Protection of Location Privacy usin for Location-based Services Hidetoshi Kido y Yutaka Yanaisawa yy Tetsuji Satoh y;yy ygraduate School of Information Science and Technoloy, Osaka University yyntt Communication

More information

GEODESIC RECONSTRUCTION, SADDLE ZONES & HIERARCHICAL SEGMENTATION

GEODESIC RECONSTRUCTION, SADDLE ZONES & HIERARCHICAL SEGMENTATION Imae Anal Stereol 2001;20:xx-xx Oriinal Research Paper GEODESIC RECONSTRUCTION, SADDLE ZONES & HIERARCHICAL SEGMENTATION SERGE BEUCHER Centre de Morpholoie Mathématique, Ecole des Mines de Paris, 35, Rue

More information

SCALE SELECTIVE EXTENDED LOCAL BINARY PATTERN FOR TEXTURE CLASSIFICATION. Yuting Hu, Zhiling Long, and Ghassan AlRegib

SCALE SELECTIVE EXTENDED LOCAL BINARY PATTERN FOR TEXTURE CLASSIFICATION. Yuting Hu, Zhiling Long, and Ghassan AlRegib SCALE SELECTIVE EXTENDED LOCAL BINARY PATTERN FOR TEXTURE CLASSIFICATION Yutin Hu, Zhilin Lon, and Ghassan AlReib Multimedia & Sensors Lab (MSL) Center for Sinal and Information Processin (CSIP) School

More information

TOWARD A UNIFIED INFORMATION SPACE FOR THE SPECIFICATION OF BUILDING PERFORMANCE SIMULATION RESULTS

TOWARD A UNIFIED INFORMATION SPACE FOR THE SPECIFICATION OF BUILDING PERFORMANCE SIMULATION RESULTS Ninth International IBPSA Conference Montréal, Canada Auust 15-18, 2005 TOWARD A UNIFIED INFORMATION SPACE FOR THE SPECIFICATION OF BUILDING PERFORMANCE SIMULATION RESULTS Ardeshir Mahdavi, Julia Bachiner,

More information

Improving robotic machining accuracy by real-time compensation

Improving robotic machining accuracy by real-time compensation University of Wollonon Research Online Faculty of Enineerin - Papers (Archive) Faculty of Enineerin and Information Sciences 2009 Improvin robotic machinin accuracy by real-time compensation Zeni Pan University

More information

Indoor Presence System Using Wireless LAN

Indoor Presence System Using Wireless LAN Indoor Presence System Usin Wireless LAN WLAN Position Information Presence Indoor Presence System Usin Wireless LAN NTT DoCoMo has developed an indoor presence system usin mobile terminals with a wireless

More information

Modular Design of Fuzzy Controller Integrating Deliberative and. Reactive Strategies. Technical Computer Science, Faculty of Technology,

Modular Design of Fuzzy Controller Integrating Deliberative and. Reactive Strategies. Technical Computer Science, Faculty of Technology, Modular Desin of Fuzzy Controller Interatin Deliberative and Reactive Strateies Jianwei Zhan, Frank Wille and Alois Knoll Technical Computer Science, Faculty of Technoloy, University of Bielefeld, 33501

More information

A Mobile Robot that Understands Pedestrian Spatial Behaviors

A Mobile Robot that Understands Pedestrian Spatial Behaviors The 00 IEEE/RSJ International Conference on Intellient Robots and Systems October -, 00, Taipei, Taiwan A Mobile Robot that Understands Pedestrian Spatial Behaviors Shu-Yun Chun and Han-Pan Huan, Member,

More information

DRACO: An Adaptive Run-Time Environment for Components

DRACO: An Adaptive Run-Time Environment for Components Evolution Manaement and Process for Real-Time Embedded Software Systems DRACO: An Adaptive Run-Time Environment for Components Deliverable D.2.4-D.2.5 Appendix A Written by Yves Vandewoude & Peter Riole,

More information

Optimal Scheduling of Dynamic Progressive Processing

Optimal Scheduling of Dynamic Progressive Processing Optimal Schedulin of Dynamic roressive rocessin Abdel-Illah ouaddib and Shlomo Zilberstein Abstract. roressive processin allows a system to satisfy a set of requests under time pressure by limitin the

More information

Issues in Testing Electronic Commerce Systems

Issues in Testing Electronic Commerce Systems Issues in Testing Electronic Commerce Systems Kassem Saleh 1 and Robert Probert University of Ottawa, School of Information Technology and Engineering (SITE) P.O.Box 450, Stn A, Ottawa, Ontario, Canada

More information

Slicing Multi-threaded Java Programs : A Case Study

Slicing Multi-threaded Java Programs : A Case Study Slicin Multi-threaded Java Prorams : A Case Study Matthew B. Dwyer y, James C. Corbett z, John Hatcliff y, Stefan Sokolowski y, Honjun Zhen y ydepartment of Computin and Information Sciences Kansas State

More information

Learning Bayesian Networks from Inaccurate Data

Learning Bayesian Networks from Inaccurate Data Learnin Bayesian Networks from Inaccurate Data A Study on the Effect of Inaccurate Data on Parameter Estimation and Structure Learnin of Bayesian Networks Valerie Sessions Marco Valtorta Department of

More information

Enabling statistical testing for component-based systems

Enabling statistical testing for component-based systems Enabling statistical testing for component-based systems Thomas Bauer, Robert Eschbach Fraunhofer-Institut für Experimentelles Software Engineering IESE Fraunhofer Platz 1 67663 Kaiserslautern, Germany

More information

Learning Geometric Concepts with an Evolutionary Algorithm. Andreas Birk. Universitat des Saarlandes, c/o Lehrstuhl Prof. W.J.

Learning Geometric Concepts with an Evolutionary Algorithm. Andreas Birk. Universitat des Saarlandes, c/o Lehrstuhl Prof. W.J. Learnin Geometric Concepts with an Evolutionary Alorithm Andreas Birk Universitat des Saarlandes, c/o Lehrstuhl Prof. W.J. Paul Postfach 151150, 66041 Saarbrucken, Germany cyrano@cs.uni-sb.de http://www-wjp.cs.uni-sb.de/cyrano/

More information

Framework. Fatma Ozcan Sena Nural Pinar Koksal Mehmet Altinel Asuman Dogac. Software Research and Development Center of TUBITAK

Framework. Fatma Ozcan Sena Nural Pinar Koksal Mehmet Altinel Asuman Dogac. Software Research and Development Center of TUBITAK Reion Based Query Optimizer Throuh Cascades Query Optimizer Framework Fatma Ozcan Sena Nural Pinar Koksal Mehmet ltinel suman Doac Software Research and Development Center of TUBITK Dept. of Computer Enineerin

More information

SBG SDG. An Accurate Error Control Mechanism for Simplification Before Generation Algorihms

SBG SDG. An Accurate Error Control Mechanism for Simplification Before Generation Algorihms An Accurate Error Control Mechanism for Simplification Before Generation Alorihms O. Guerra, J. D. Rodríuez-García, E. Roca, F. V. Fernández and A. Rodríuez-Vázquez Instituto de Microelectrónica de Sevilla,

More information

IDENTIFICATION OF CONSTITUTIVE AND GEOMETRICAL PARAMETERS OF NUMERICAL MODELS WITH APPLICATION IN TUNNELLING

IDENTIFICATION OF CONSTITUTIVE AND GEOMETRICAL PARAMETERS OF NUMERICAL MODELS WITH APPLICATION IN TUNNELLING ECCOMAS Thematic Conference on Computational Methods in Tunnellin (EURO:TUN 2007) J. Eberhardsteiner et.al. (eds.) Vienna, Austria, Auust 27-29, 2007 IDENTIFICATION OF CONSTITUTIVE AND GEOMETRICAL PARAMETERS

More information

Detecting Graph-Based Spatial Outliers: Algorithms and Applications(A Summary of Results) Λ y

Detecting Graph-Based Spatial Outliers: Algorithms and Applications(A Summary of Results) Λ y Detectin Graph-Based Spatial Outliers: Alorithms and Applications(A Summary of Results) Λ y Shashi Shekhar Department of Computer Science and Enineerin University of Minnesota 2 Union ST SE, 4-192 Minneapolis,

More information

GDAŃSK UNIVERSITY OF TECHNOLOGY FACULTY OF ETI ANNALS No 8 Information technologies 2010

GDAŃSK UNIVERSITY OF TECHNOLOGY FACULTY OF ETI ANNALS No 8 Information technologies 2010 GDAŃSK UNIVERSITY OF TECHNOLOGY FACULTY OF ETI ANNALS No 8 Information technoloies 2010 Piotr Szwed, Jan Werewka, Grzeorz Rous AGH University of Science and Technoloy, Institute of Automatics ONTOLOGY

More information

A Combined Delay and Throughput Proportional Scheduling Scheme for Differentiated Services

A Combined Delay and Throughput Proportional Scheduling Scheme for Differentiated Services A Combined Delay and Throuhput Proportional Schedulin Scheme for Differentiated Services Samyukta Sankaran and Ahmed E.Kamal Department of Electrical and Computer Enineerin Iowa State University Ames,

More information

Luca Benini Davide Bruni Alberto Macii Enrico Macii. Bologna, ITALY Torino, ITALY 10129

Luca Benini Davide Bruni Alberto Macii Enrico Macii. Bologna, ITALY Torino, ITALY 10129 Hardware-Assisted Data for Enery Minimization in Systems with Embedded Processors Luca Benini Davide Bruni Alberto Macii Enrico Macii Universita di Bolona Politecnico di Torino Bolona, ITALY 40136 Torino,

More information

Efficient Generation of Large Amounts of Training Data for Sign Language Recognition: A Semi-Automatic Tool

Efficient Generation of Large Amounts of Training Data for Sign Language Recognition: A Semi-Automatic Tool Efficient Generation of Lare Amounts of Trainin Data for Sin Lanuae Reconition: A Semi-Automatic Tool Ruiduo Yan, Sudeep Sarkar, Barbara Loedin, and Arthur Karshmer University of South Florida, Tampa,

More information

In Proceedings of ICPP 90, The 1990 International Conference on Parallel Processing, Chicago,Illinois, August 1990.

In Proceedings of ICPP 90, The 1990 International Conference on Parallel Processing, Chicago,Illinois, August 1990. In Proceedins of IPP 9, The 99 International onference on Parallel Processin, hicao,illinois, uust 99. SETH VLSI HIP FOR THE REL-TIME INFORMTION DISPERSL ND RETRIEVL FOR SEURITY ND FULT-TOLERNE zer estavros

More information

Middleware for Semantic Multicast in Spontaneous Multi-hop Networks

Middleware for Semantic Multicast in Spontaneous Multi-hop Networks Middleware for Semantic Multicast in Spontaneous Multi-hop Networks Paolo Bellavista Carlo Giannelli 13.11.2012 - Mobilware'12 DISI, Università di Bolona Viale Risorimento, 2-40136 Bolona Italy paolo.bellavista@unibo.it

More information

Minimum-Cost Multicast Routing for Multi-Layered Multimedia Distribution

Minimum-Cost Multicast Routing for Multi-Layered Multimedia Distribution Minimum-Cost Multicast Routin for Multi-Layered Multimedia Distribution Hsu-Chen Chen and Frank Yeon-Sun Lin Department of Information Manaement, National Taiwan University 50, Lane 144, Keelun Rd., Sec.4,

More information

Single device test requirements for reliable CAN-Based multi-vendor networks

Single device test requirements for reliable CAN-Based multi-vendor networks Single device test requirements for reliable CAN-Based multi-vendor networks Peter P. Dierauer By building a system with an open device-level network, the system designer has the option to choose devices

More information

IBM Thomas J. Watson Research Center. Yorktown Heights, NY, U.S.A. The major advantage of BDDs is their eciency for a

IBM Thomas J. Watson Research Center. Yorktown Heights, NY, U.S.A. The major advantage of BDDs is their eciency for a Equivalence Checkin Usin Cuts and Heaps Andreas Kuehlmann Florian Krohm IBM Thomas J. Watson Research Center Yorktown Heihts, NY, U.S.A. Abstract This paper presents a verication technique which is specically

More information

A Genetic Algorithm for Packing Three-Dimensional Non-Convex. Objects Having Cavities and Holes. Engineering Math and Computer Science Dept

A Genetic Algorithm for Packing Three-Dimensional Non-Convex. Objects Having Cavities and Holes. Engineering Math and Computer Science Dept A Genetic Alorithm for Packin Three-Dimensional Non-Convex Objects Havin Cavities and Holes Ilkka Ikonen William E. Biles Department of Industrial Enineerin University of Louisville Louisville, KY 40292

More information

ONE BUSINESS - ONE APP TROUBLESHOOTING MANUAL

ONE BUSINESS - ONE APP TROUBLESHOOTING MANUAL ONE BUSINESS - ONE APP TROUBLESHOOTING MANUAL 1 In the unlikely event that Shopbox appears to act a little lazy and some of its functions refuse to follow your orders, there is no reason to panic. Most

More information

[2] Gregory R. Andrews. Concurrent Programming: Principles and Practice. [3] K. M. Chandy and C. Kesselman. CC++: A declarative concurrent object

[2] Gregory R. Andrews. Concurrent Programming: Principles and Practice. [3] K. M. Chandy and C. Kesselman. CC++: A declarative concurrent object References [1] W. B. Ackerman. Data ow lanuaes. IEEE Computer, 15(2):15{25, February 1982. [2] Greory R. Andrews. Concurrent Prorammin: Principles and Practice. Benjamin/Cummins, Redwood City, CA, 1991.

More information

Affinity Hybrid Tree: An Indexing Technique for Content-Based Image Retrieval in Multimedia Databases

Affinity Hybrid Tree: An Indexing Technique for Content-Based Image Retrieval in Multimedia Databases Affinity Hybrid Tree: An Indexin Technique for Content-Based Imae Retrieval in Multimedia Databases Kasturi Chatterjee and Shu-Chin Chen Florida International University Distributed Multimedia Information

More information

DYNAMIC COUPLING OF UNDERACTUATED MANIPULATORS

DYNAMIC COUPLING OF UNDERACTUATED MANIPULATORS Proceedins of the 4th IEEE Conference on Control Applications, Albany, USA, Sep. 1995, pp. 5-55. DYNAMIC COUPLING OF UNDERACTUATED MANIPULATORS Marcel Bererman Christopher Lee Yanshen Xu The Robotics Institute

More information

Energy-Conscious Co-Scheduling of Tasks and Packets in Wireless Real-Time Environments

Energy-Conscious Co-Scheduling of Tasks and Packets in Wireless Real-Time Environments Enery-Conscious Co-Schedulin of Tasks and Packets in Wireless Real- Environments Jun Yi, Christian Poellabauer, Xiaobo Sharon Hu, Jeff Simmer Department of Computer Science and Enineerin University of

More information

IN this paper, we establish the computational complexity of optimally solving multi-robot path planning problems

IN this paper, we establish the computational complexity of optimally solving multi-robot path planning problems Intractability of Optimal Multi-Robot Path Plannin on Planar Graphs Jinjin Yu Abstract arxiv:504.007v3 [cs.ro] 6 Dec 05 We study the computational complexity of optimally solvin multi-robot path plannin

More information

Code Optimization Techniques for Embedded DSP Microprocessors

Code Optimization Techniques for Embedded DSP Microprocessors Code Optimization Techniques for Embedded DSP Microprocessors Stan Liao Srinivas Devadas Kurt Keutzer Steve Tjian Albert Wan MIT Department of EECS Synopsys, Inc. Cambride, MA 02139 Mountain View, CA 94043

More information

SE 1: Software Requirements Specification and Analysis

SE 1: Software Requirements Specification and Analysis SE 1: Software Requirements Specification and Analysis Lecture 4: Basic Notations Nancy Day, Davor Svetinović http://www.student.cs.uwaterloo.ca/ cs445/winter2006 uw.cs.cs445 U Waterloo SE1 (Winter 2006)

More information

On the Load Balancing of Multicast Routing in Multi-Channel Multi-Radio Wireless Mesh Networks with Multiple Gateways

On the Load Balancing of Multicast Routing in Multi-Channel Multi-Radio Wireless Mesh Networks with Multiple Gateways 206 IJCSNS International Journal of Computer Science and Networ Security, VOL.17 No.3, March 2017 On the Load Balancin of Multicast Routin in Multi-Channel Multi-Radio Wireless Mesh Networs with Multiple

More information

On Defending Peer-to-Peer System-based Active Worm Attacks

On Defending Peer-to-Peer System-based Active Worm Attacks This full text paper was peer reviewed at the direction of IEEE Communications Society subject matter experts for publication in the IEEE GLOBECOM 25 proceedins. On Defendin eer-to-eer System-based Active

More information

OCC and Its Variants. Jan Lindström. Helsinki 7. November Seminar on real-time systems UNIVERSITY OF HELSINKI. Department of Computer Science

OCC and Its Variants. Jan Lindström. Helsinki 7. November Seminar on real-time systems UNIVERSITY OF HELSINKI. Department of Computer Science OCC and Its Variants Jan Lindström Helsinki 7. November 1997 Seminar on real-time systems UNIVERSITY OF HELSINKI Department o Computer Science Contents 1 Introduction 1 2 Optimistic Concurrency Control

More information

DSL Design. Overview of DSLE. DSL Design. DSL Desing. Domain specific languages

DSL Design. Overview of DSLE. DSL Design. DSL Desing. Domain specific languages Overview of DSLE Model driven software enineerin in eneral Grammars, and meta-models Code eneration Model-driven enineerin Goal: Raisin the level of abstraction from the computin domain to the problem

More information

Efficient and Provably Secure Ciphers for Storage Device Block Level Encryption

Efficient and Provably Secure Ciphers for Storage Device Block Level Encryption Efficient and Provably Secure Ciphers for Storae Device Block evel Encryption Yulian Zhen SIS Department, UNC Charlotte yzhen@uncc.edu Yone Wan SIS Department, UNC Charlotte yonwan@uncc.edu ABSTACT Block

More information

Learning Deep Features for One-Class Classification

Learning Deep Features for One-Class Classification 1 Learnin Deep Features for One-Class Classification Pramuditha Perera, Student Member, IEEE, and Vishal M. Patel, Senior Member, IEEE Abstract We propose a deep learnin-based solution for the problem

More information

DECISION SUPPORT SYSTEM AND REGULATION SYSTEM FOR ROAD TRAFFIC MANAGEMENT

DECISION SUPPORT SYSTEM AND REGULATION SYSTEM FOR ROAD TRAFFIC MANAGEMENT DECISION SUPPORT SYSTEM AND REGULATION SYSTEM FOR ROAD TRAFFIC MANAGEMENT E-mail: Sylvain Lerebour, Antoine Dutot, Cyrille Bertelle and Damien Olivier Laboratoire d Informatique du Havre, 5 rue Philippe

More information

Test requirements in networked systems

Test requirements in networked systems Test requirements in networked systems Jürgen Klüser, Vector Informatik GmbH The use of CAN with J1939 or CANopen based higher layers leads to cost efficient and flexible solutions, but together with a

More information

Virtual Validation of Cyber Physical Systems

Virtual Validation of Cyber Physical Systems Virtual Validation of Cyber Physical Systems Patrik Feth, Thomas Bauer, Thomas Kuhn Fraunhofer IESE Fraunhofer-Platz 1 67663 Kaiserslautern {patrik.feth, thomas.bauer, thomas.kuhn}@iese.fraunhofer.de Abstract:

More information

The Role of Switching in Reducing the Number of Electronic Ports in WDM Networks

The Role of Switching in Reducing the Number of Electronic Ports in WDM Networks 1 The Role of Switchin in Reducin the Number of Electronic Ports in WDM Networks Randall A. Berry and Eytan Modiano Abstract We consider the role of switchin in minimizin the number of electronic ports

More information

Module. Sanko Lan Avi Ziv Abbas El Gamal. and its accompanying FPGA CAD tools, we are focusing on

Module. Sanko Lan Avi Ziv Abbas El Gamal. and its accompanying FPGA CAD tools, we are focusing on Placement and Routin For A Field Prorammable Multi-Chip Module Sanko Lan Avi Ziv Abbas El Gamal Information Systems Laboratory, Stanford University, Stanford, CA 94305 Abstract Placemen t and routin heuristics

More information

Development and Verification of an SP 3 Code Using Semi-Analytic Nodal Method for Pin-by-Pin Calculation

Development and Verification of an SP 3 Code Using Semi-Analytic Nodal Method for Pin-by-Pin Calculation Journal of Physical Science and Application 7 () (07) 0-7 doi: 0.765/59-5348/07.0.00 D DAVID PUBLISHIN Development and Verification of an SP 3 Code Usin Semi-Analytic Chuntao Tan Shanhai Nuclear Enineerin

More information

Grooming Multicast Traffic in Unidirectional SONET/WDM Rings

Grooming Multicast Traffic in Unidirectional SONET/WDM Rings 1 Groomin Multicast Traffic in Unidirectional SONET/WDM Rins Anuj Rawat, Richard La, Steven Marcus and Mark Shayman Abstract In this paper we study the problem of efficient roomin of iven non-uniform multicast

More information

Optimal design of Fresnel lens for a reading light system with. multiple light sources using three-layered Hierarchical Genetic.

Optimal design of Fresnel lens for a reading light system with. multiple light sources using three-layered Hierarchical Genetic. Optimal desin of Fresnel lens for a readin liht system with multiple liht sources usin three-layered Hierarchical Genetic Alorithm Wen-Gon Chen, and Chii-Maw Uan Department of Electrical Enineerin, I Shou

More information

SIMPACK: GETTING STARTED WITH SIMULATION PROGRAMMING IN C AND C++ Paul A. Fishwick. University of Florida. Bldg. CSE, Room 301

SIMPACK: GETTING STARTED WITH SIMULATION PROGRAMMING IN C AND C++ Paul A. Fishwick. University of Florida. Bldg. CSE, Room 301 SIMPACK: GETTING STARTED WITH SIMULATION PROGRAMMING IN C AND C++ Paul A. Fishwick Dept. of Computer & Information Science University of Florida Bld. CSE, Room 301 Gainesville, FL 32611 ABSTRACT SimPack

More information

Probabilistic Gaze Estimation Without Active Personal Calibration

Probabilistic Gaze Estimation Without Active Personal Calibration Probabilistic Gaze Estimation Without Active Personal Calibration Jixu Chen Qian Ji Department of Electrical,Computer and System Enineerin Rensselaer Polytechnic Institute Troy, NY 12180 chenji@e.com qji@ecse.rpi.edu

More information

COMPLETED LOCAL DERIVATIVE PATTERN FOR ROTATION INVARIANT TEXTURE CLASSIFICATION. Yuting Hu, Zhiling Long, and Ghassan AlRegib

COMPLETED LOCAL DERIVATIVE PATTERN FOR ROTATION INVARIANT TEXTURE CLASSIFICATION. Yuting Hu, Zhiling Long, and Ghassan AlRegib COMPLETED LOCAL DERIVATIVE PATTERN FOR ROTATION INVARIANT TEXTURE CLASSIFICATION Yutin Hu, Zhilin Lon, and Ghassan AlReib Multimedia & Sensors Lab (MSL) Center for Sinal and Information Processin (CSIP)

More information

JHDL - An HDL for Reconfigurable Systems Λ

JHDL - An HDL for Reconfigurable Systems Λ - An HDL for Reconfiurable Systems Λ Peter Bellows and Brad Hutchins y Department of Electrical and Computer Enineerin Briham Youn University, Provo, UT 84602 bellowsp@ee.byu.edu, hutch@ee.byu.edu Abstract

More information

Survey on Error Control Coding Techniques

Survey on Error Control Coding Techniques Survey on Error Control Codin Techniques Suriya.N 1 SNS Collee of Enineerin, Department of ECE, surikala@mail.com S.Kamalakannan 2 SNS Collee of Enineerin, Department of ECE, kamalakannan.ap@mail.com Abstract

More information

User Authentication and Authorization in the Java TM Platform

User Authentication and Authorization in the Java TM Platform User Authentication and Authorization in the Java TM Platform Charlie Lai Li Gon Larry Koved Anthony Nadalin Roland Schemers Sun Microsystems, Inc. charlie.lai,li.on@sun.com International Business Machines,

More information

Easing Administration in Football A guide to online services for clubs, leagues, referees and coaches

Easing Administration in Football A guide to online services for clubs, leagues, referees and coaches Easin Administration in Football A uide to online services for clubs, leaues, referees and coaches Contents Full-Time The FA s Free Leaue Administration System 01 Members Services 06 How to et online as

More information

Incommunicado: Efficient Communication for Isolates

Incommunicado: Efficient Communication for Isolates Incommunicado: Efficient Communication for Isolates Krzysztof Palacz Grzeorz Czajkowski y Laurent Daynès y Jan Vitek S 3 Lab, Dept of Computer Sciences, Purdue University, West Lafayette, IN, USA y Sun

More information

Conformity Assessment Schemes and Interoperability Testing (1) Keith Mainwaring ITU Telecommunication Standardization Bureau (TSB) Consultant

Conformity Assessment Schemes and Interoperability Testing (1) Keith Mainwaring ITU Telecommunication Standardization Bureau (TSB) Consultant Conformity Assessment Schemes and Interoperability Testing (1) Keith Mainwaring ITU Standardization Bureau (TSB) Consultant Moscow, 9-11 november 2011 Contents The benefits of conformity assessment Conformity

More information

Electrical Power System Harmonic Analysis Using Adaptive BSS Algorithm

Electrical Power System Harmonic Analysis Using Adaptive BSS Algorithm Sensors & ransducers 2013 by IFSA http://www.sensorsportal.com Electrical Power System Harmonic Analysis Usin Adaptive BSS Alorithm 1,* Chen Yu, 2 Liu Yuelian 1 Zhenzhou Institute of Aeronautical Industry

More information

Numerical integration of discontinuous functions: moment fitting and smart octree

Numerical integration of discontinuous functions: moment fitting and smart octree Noname manuscript No. (will be inserted by the editor) Numerical interation of discontinuous functions: moment fittin and smart octree Simeon Hubrich Paolo Di Stolfo László Kudela Stefan Kollmannsberer

More information

LEGEND. Cattail Sawgrass-Cattail Mixture Sawgrass-Slough. Everglades. National. Park. Area of Enlargement. Lake Okeechobee

LEGEND. Cattail Sawgrass-Cattail Mixture Sawgrass-Slough. Everglades. National. Park. Area of Enlargement. Lake Okeechobee An Ecient Parallel Implementation of the Everlades Landscape Fire Model Usin Checkpointin Fusen He and Jie Wu Department of Computer Science and Enineerin Florida Atlantic University Boca Raton, FL 33431

More information

x y x mod p g y mod p K= g xy mod p Alice Eve Bob g g x mod p x mod p g y y mod p y mod p K1= g mod p K2= g mod p

x y x mod p g y mod p K= g xy mod p Alice Eve Bob g g x mod p x mod p g y y mod p y mod p K1= g mod p K2= g mod p 6.857 Computer and Network Security Fall Term, 1997 Lecture 15 : October 23rd, 1997 Lecturer: Ron Rivest Scribe: Ben Adida 1 Topics Covered An Active Attack on RSA smart cards Secure Channels over Insecure

More information

From Object-Z speci cation to Groovy implementation

From Object-Z speci cation to Groovy implementation Scientia Iranica D (2018) 25(6), 3415{3441 Sharif University of Technoloy Scientia Iranica Transactions D: Computer Science & Enineerin and Electrical Enineerin http://scientiairanica.sharif.edu From Object-Z

More information

A Derandomized Approach to Self Adaptation of. Evolution Strategies. Technische Universitat Berlin. Ackerstrae (ACK1) D Berlin

A Derandomized Approach to Self Adaptation of. Evolution Strategies. Technische Universitat Berlin. Ackerstrae (ACK1) D Berlin A Derandomized Approach to Self Adaptation of Evolution Strateies Andreas Ostermeier, Andreas Gawelczyk & Nikolaus Hansen Technische Universitat Berlin Fachebiet Bionik und Evolutionstechnik Ackerstrae

More information

Implementation and Experimental Evaluation of. Graph Connectivity Algorithms using LEDA. Abstract

Implementation and Experimental Evaluation of. Graph Connectivity Algorithms using LEDA. Abstract Implementation and Experimental Evaluation of Graph Connectivity Alorithms usin LEDA Panaiota Fatourou y Paul Spirakis z Panaiotis Zaradis x Anna Zoura x Abstract In this paper we describe robust and ecient

More information

Fault Class Prioritization in Boolean Expressions

Fault Class Prioritization in Boolean Expressions Fault Class Prioritization in Boolean Expressions Ziyuan Wang 1,2 Zhenyu Chen 1 Tsong-Yueh Chen 3 Baowen Xu 1,2 1 State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093,

More information

Chapter 5 THE MODULE FOR DETERMINING AN OBJECT S TRUE GRAY LEVELS

Chapter 5 THE MODULE FOR DETERMINING AN OBJECT S TRUE GRAY LEVELS Qian u Chapter 5. Determinin an Object s True Gray evels 3 Chapter 5 THE MODUE OR DETERMNNG AN OJECT S TRUE GRAY EVES This chapter discusses the module for determinin an object s true ray levels. To compute

More information

Coarse Grained Parallel Maximum Matching In Convex Bipartite Graphs

Coarse Grained Parallel Maximum Matching In Convex Bipartite Graphs Coarse Grained Parallel Maximum Matchin In Convex Bipartite Graphs P. Bose, A. Chan, F. Dehne, and M. Latzel School o Computer Science Carleton University Ottawa, Canada K1S 5B6 jit,achan,dehne,mlatzel@scs.carleton.ca

More information

in two important ways. First, because each processor processes lare disk-resident datasets, the volume of the communication durin the lobal reduction

in two important ways. First, because each processor processes lare disk-resident datasets, the volume of the communication durin the lobal reduction Compiler and Runtime Analysis for Ecient Communication in Data Intensive Applications Renato Ferreira Gaan Arawal y Joel Saltz Department of Computer Science University of Maryland, Collee Park MD 20742

More information

Nonprofit Training Manual

Nonprofit Training Manual Nonprofit Trainin Manual Introduction 2 What is GiveSmartOKC? 2 Benefits for your nonprofit 2 How does it work? 2 Timeline 2 Before you Bein 3 Nonprofit trainin and your Coach 3 Documents/Information needed

More information

SRW01. Smart Relay. Motors Automation Energy Coatings USASRW09. g Modular concept. g Network communication. g Built in motor protection

SRW01. Smart Relay. Motors Automation Energy Coatings USASRW09. g Modular concept. g Network communication. g Built in motor protection Motors Automation Enery Coatins SRW01 Smart Relay Modular concept Network communication Built in motor protection State of the art tech USASRW09 www.we.net Smart Relays - SRW01 Series The SRW01 is a low-voltae

More information

HCE: A New Channel Exchange Scheme for Handovers in Mobile Cellular Systems

HCE: A New Channel Exchange Scheme for Handovers in Mobile Cellular Systems 129 HCE: A New Channel Exchane Scheme for Handovers in Mobile Cellular Systems DNESH K. ANVEKAR* and S. SANDEEP PRADHAN Department of Electrical Communication Enineerin ndian nstitute of Science, Banalore

More information

to chanes in the user interface desin. By embeddin the object-oriented, interpreted lanuae into the application, it can also be used as a tool for rer

to chanes in the user interface desin. By embeddin the object-oriented, interpreted lanuae into the application, it can also be used as a tool for rer Usin C++ Class Libraries from an Interpreted Lanuae Wolfan Heidrich, Philipp Slusallek, Hans-Peter Seidel Computer Graphics Department, Universitat Erlanen-Nurnber Am Weichselarten 9, 91058 Erlanen, Germany.

More information

Multi-Product Floorplan and Uncore Design Framework for Chip Multiprocessors

Multi-Product Floorplan and Uncore Design Framework for Chip Multiprocessors Multi-Product Floorplan and Uncore Desin Framework for hip Multiprocessors Marco scalante, Andrew B Kahn, Michael Kishinevsky, Umit Oras and Kambiz Samadi Intel orp, Hillsboro, OR, and S Departments, University

More information

SMART Classroom Suite 2011

SMART Classroom Suite 2011 SMART Classroom Suite 2011 Windows operatin systems Installation uide Product reistration If you reister your SMART product, we ll notify you of new features and software uprades. Reister online at smarttech.com/reistration.

More information

Using models in the integration and testing process

Using models in the integration and testing process Chapter 8 Using models in the integration and testing process Authors: N.C.W.M. Braspenning, J.M. van de Mortel-Fronczak, D.O. van der Ploeg, J.E. Rooda 8.1 Introduction This chapter, which is based on

More information

1 Theory 1 (CSc 473): Automata, Grammars, and Lanuaes For any strin w = w 1 w 2 :::w n, define w R to be the reversal of w: w R = w n w n 1 :::w 1. Su

1 Theory 1 (CSc 473): Automata, Grammars, and Lanuaes For any strin w = w 1 w 2 :::w n, define w R to be the reversal of w: w R = w n w n 1 :::w 1. Su Masters Examination Department of Computer Science March 27, 1999 Instructions This examination consists of nine problems. The questions are in three areas: 1. Theory and Alorithms: CSc 473, 545, and 573;

More information