Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailA Model-Based Approach to Automated Testing of Access Control Policies
Xu, Dianxiang; Thomas, Lijo UL; Kent, Michael et al

in Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (2012)

Access control policies in software systems can be implemented incorrectly for various reasons. This paper presents a model-based approach for automated testing of access control implementation. To feed ... [more ▼]

Access control policies in software systems can be implemented incorrectly for various reasons. This paper presents a model-based approach for automated testing of access control implementation. To feed the model-based testing process, test models are constructed by integrating declarative access control rules and contracts (preconditions and post-conditions) of the associated activities. The access control tests are generated from the test models to exercise the interactions of access control activities. Test executability is obtained through a mapping of the modeling elements to implementation constructs. The approach has been implemented in an industry-adopted test automation framework that supports the generation of test code in a variety of languages, such as Java, C, C++, C#, and HTML/Selenium IDE. The full model-based testing process has been applied to two systems implemented in Java. The effectiveness is evaluated in terms of access-control fault detection rate using mutation analysis of access control implementation. The experiments show that the model-based tests killed 99.7% of the mutants and the remaining mutants caused no policy violations. [less ▲]

Detailed reference viewed: 100 (0 UL)
Full Text
Peer Reviewed
See detailModel-Based Automated and Guided Configuration of Embedded Software Systems
Behjati, Razieh; Nejati, Shiva UL; Yue, Tao et al

in European Conference on Modeling Foundations and Applications (2012)

Detailed reference viewed: 176 (13 UL)
Full Text
Peer Reviewed
See detailModel-based Bayesian reinforcement learning in partially observable domains
Poupart, P.; Vlassis, Nikos UL

in Proc Int. Symp. on Artificial Intelligence and Mathematics, (2008)

Detailed reference viewed: 35 (0 UL)
Full Text
Peer Reviewed
See detailModel-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins
Nguyen, Thanh Phuong UL; Scotti, Marco; Morine, Melissa J. et al

in BMC Systems Biology (2011), 5(1), 195

Detailed reference viewed: 72 (2 UL)
Full Text
Peer Reviewed
See detailModel-based design languages: A case study
Cibrario Bertolotti, Ivan; Hu, Tingting UL; Navet, Nicolas UL

in 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS) (2017)

Fast-paced innovation in the embedded systems domain puts an ever increasing pressure on effective software development methods, leading to the growing popularity of Model-Based Design (MBD). In this ... [more ▼]

Fast-paced innovation in the embedded systems domain puts an ever increasing pressure on effective software development methods, leading to the growing popularity of Model-Based Design (MBD). In this context, a proper choice of modeling languages and related tools - depending on design goals and problem qualities - is crucial to make the most of MBD benefits. In this paper, a comparison between two dissimilar approaches to modeling is carried out, with the goal of highlighting their relative advantages and shortcomings. It focuses on a case study involving a well-known distributed agreement protocol, a choice motivated by the fact that embedded systems are nowadays quickly evolving towards distributed, fault-tolerant architectures. [less ▲]

Detailed reference viewed: 70 (6 UL)
Full Text
Peer Reviewed
See detailA Model-Based Development Environment for Rapid-Prototyping of Latency-Sensitive Automotive Control Software
Sundharam, Sakthivel Manikandan UL; Havet, Lionel; Altmeyer, Sebastian et al

in Proceedings of 6th Intentional Symposium on Embedded computing & system Design (ISED 2016) (2016, December 15)

The innovation in the field of automotive embedded systems has been increasingly relying on software-implemented functions. The control laws of these functions typically assume deterministic sampling ... [more ▼]

The innovation in the field of automotive embedded systems has been increasingly relying on software-implemented functions. The control laws of these functions typically assume deterministic sampling rates and constant delays from input to output. However, on the target processors, the execution times of the software will depend on many factors such as the amount of interferences from other tasks, resulting in varying delays from sensing to actuating. Three approaches supported by tools, namely TrueTime, T-Res, and SimEvents, have been developed to facilitate the evaluation of how timing latencies affect control performance. However, these approaches support the simulation of control algorithms, but not their actual implementation. In this paper, we present a model interpretation engine running in a co-simulation environment to study control performances while considering the run-time delays in to account. Introspection features natively available facilitate the implementation of self-adaptive and fault-tolerance strategies to mitigate and compensate the run-time latencies. A DC servo controller is used as a supporting example to illustrate our approach. Experiments on controller tasks with injected delays show that our approach is on par with the existing techniques with respect to simulation. We then discuss the main benefits of our development approach that are the support for rapid-prototyping and the re-use of the simulation model at run-time, resulting in productivity and quality gains. [less ▲]

Detailed reference viewed: 186 (41 UL)
Full Text
Peer Reviewed
See detailModel-based dietary optimization for late-stage, levodopa-treated, Parkinson’s disease patients
Ben Guebila, Marouen UL; Thiele, Ines UL

in NPJ Systems Biology and Applications (2016), 2

Levodopa has been the gold standard for Parkinson’s disease treatment for more than 40 years. Its bioavailability is hindered by dietary amino acids, leading to fluctuations in the motor response ... [more ▼]

Levodopa has been the gold standard for Parkinson’s disease treatment for more than 40 years. Its bioavailability is hindered by dietary amino acids, leading to fluctuations in the motor response particularly in late-stage (stage 3 and 4 on Hoehn and Yahr scale) patients. The routine dietary intervention consists of low-protein (<0.8 g/kg) diets or the redistribution of daily protein allowance to the last meal. Computational modeling was used to examine the fluctuation of gastrointestinal levodopa absorption under consideration of the diet by (i) identifying the group of patients that could benefit from dietary interventions, (ii) comparing existing diet recommendations for their impact on levodopa bioavailability, and (iii) suggesting a mechanism-based dietary intervention. We developed a multiscale computational model consisting of an ordinary differential equations-based advanced compartmentalized absorption and transit (ACAT) gut model and metabolic genome-scale small intestine epithelial cell model. We used this model to investigate complex spatiotemporal relationship between dietary amino acids and levodopa absorption. Our model predicted an improvement in bioavailability, as reflected by blood concentrations of levodopa with protein redistribution diet by 34% compared with a low-protein diet and by 11% compared with the ante cibum (a.c.) administration. These results are consistent with the reported better outcome in late-stage patients. A systematic analysis of the effect of different amino acids in the diet suggested that a serine-rich diet could improve the bioavailability by 22% compared with the a.c. administration. In addition, the slower gastric emptying rate in PD patients exacerbates the loss of levodopa due to competition. Optimizing dietary recommendations in quantity, composition, and intake time holds the promise to improve levodopa efficiency and patient’s quality of life based on highly detailed, mechanistic models of gut physiology endowed with improved extrapolative properties, thus paving the way for precision medical treatment. [less ▲]

Detailed reference viewed: 227 (13 UL)
Full Text
See detailA Model-Based Framework for Legal Policy Simulation and Compliance Checking
Soltana, Ghanem UL

Doctoral thesis (2017)

Information systems implementing requirements from laws and regulations, such as taxes and social benefits, need to be thoroughly verified to demonstrate their compliance. Several Verification and ... [more ▼]

Information systems implementing requirements from laws and regulations, such as taxes and social benefits, need to be thoroughly verified to demonstrate their compliance. Several Verification and Validation (V&V) techniques, such as reliability testing, and modeling and simulation, can be used for assessing that such systems meet their legal. Typically, one has to model the expected (legal) behavior of the system in a form that can be executed (simulated), subject the resulting models and the system to the same input data, and then compare the observed behavior of the model simulation and system execution. Existing V&V techniques often rely on code and complex logical expressions with no intuitive appeal to legal experts for specifying the expected behavior of a given system. Subsequently, one has no practical way to validate with legal experts that the underlying legal requirements are indeed complete and constitute a faithful representation of what needs to be implemented. Further, manually defining the expected behavior of a system and its test oracles is a tedious and error-prone task. The challenge here is to find a suitable knowledge representation that can be understood by all the involved stakeholders, e.g., software engineers and legal experts, but that remains complete and precise enough to enable automated analysis such as simulation and testing. As real data is seldom accessible in highly regulated domains, V&V requires the generation of synthetic testing data that can be used to build confidence in the reliability of the system under test. In particular, such data has to be structurally and logically well-formed to raise meaningful failures that can help reasoning about the reliability of the system under test. Further, the data should exhibit as much as possible the actual or anticipated system usage to help mimic how the system would behave under realistic circumstances. Generating such data is not a trivial task as the underlying data schemas are usually large and subject to numerous complex domain-related logical constraints. In this thesis, we investigate the use of the Unified Modeling Language (UML) and model-driven technologies, e.g., model to code transformations, to facilitate V&V activities for information systems that have to conform to laws and regulations, while tackling the above challenges. All our technical solutions have been developed and empirically evaluated in close collaboration with a government administration. Concretely, the technical solutions covered by this thesis include: - A modeling notation and methodology for formalizing legal policies. We propose a modeling notation and methodology for building abstract interpretations of the law. Models built using our methodology are simple enough to be understood by the involved stakeholders and are, at the same time, detailed enough to enable automated V&V activities. - A model-based simulation framework. We develop a model-based framework and associated tool support for simulating legal policies, when formalized using the aforementioned modeling methodology. Simulation provides a comparison baseline of how a compliant system should behave. Further, simulation is a mean to support decision-making when considering legal changes. Specifically, we report on a sizable case study where we assess the anticipated economic implications of a given policy change in Luxembourg’s tax law. - A model-based generator of test cases for reliability testing. We develop a heuristic approach for generating valid and representative test cases (data). Our generator is scalable and produces high-quality test data that is suitable for testing the reliability of data-intensive systems, e.g., a tax management system. [less ▲]

Detailed reference viewed: 172 (67 UL)
Full Text
Peer Reviewed
See detailA Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
Soltana, Ghanem UL

in Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015) (2015)

Analyzing legal policies for many laws, such as taxes and social benefits, is a common way for governments to identify risks, e.g., risk of legal policies not achieving expected revenue. A typical ... [more ▼]

Analyzing legal policies for many laws, such as taxes and social benefits, is a common way for governments to identify risks, e.g., risk of legal policies not achieving expected revenue. A typical analysis includes validation of policies and the verification of the systems implementing them. One efficient way to validate policies is simulation, e.g., by simulating whether a proposed law reform would realize target objectives. Once validated, policies are implemented into public administration procedures and eGovernment applications. Systems implementing legal policies also need to be analyzed and verified, e.g., through testing, to ensure that they are compliant with the underlying policies. Currently, legal policy analysis is conducted using a combination of spreadsheets and software code. Such strategy suffers mainly from being hard to use by legal experts due to the lack of adequate background. This is partly rooted in the fact that available techniques to formalize legal policies are based on complex logical expressions and code. The main goal of this research project, that this paper describes, is to narrow the aforementioned expertise gap by proposing convenient, systematic and automated techniques to support analysis of legal polices from their design to their implementation. [less ▲]

Detailed reference viewed: 117 (39 UL)
Full Text
Peer Reviewed
See detailA Model-Based Framework for Probabilistic Simulation of Legal Policies
Soltana, Ghanem UL; Sannier, Nicolas UL; Sabetzadeh, Mehrdad UL et al

in 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15) (2015)

Legal policy simulation is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g ... [more ▼]

Legal policy simulation is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g., revenue. Currently, legal policies are simulated via a combination of spreadsheets and software code. This poses a validation challenge both due to complexity reasons and due to legal experts lacking the expertise to understand software code. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator. We develop a framework for legal policy simulation that is aimed at addressing these challenges. The framework uses models for specifying both legal policies and the probabilistic characteristics of the underlying population. We devise an automated algorithm for simulation data generation. We evaluate our framework through a case study on Luxembourg's Tax Law. [less ▲]

Detailed reference viewed: 220 (43 UL)
Full Text
Peer Reviewed
See detailModel-based Leakage Localization in Drinking Water Distribution Networks using Structured Residuals
Rosich, Albert UL; Puig, Vicenç

in European Control Conference (ECC), 2013 (2013)

In this paper, a new model based approach to leakage localization in drinking water networks is proposed based on generating a set of structured residuals. The residual evaluation is based on a numerical ... [more ▼]

In this paper, a new model based approach to leakage localization in drinking water networks is proposed based on generating a set of structured residuals. The residual evaluation is based on a numerical method based on an enhanced Newton-Raphson algorithm. The proposed method is suitable for water network systems because the non-linearities of the model make impossible to derive analytical residuals. Furthermore, the computed residuals are designed so that leaks are decoupled, which improves the localization of leaks with respect to other existing methods. Finally, the Hanoi water network benchmark is used to illustrate the results of the proposed approach. [less ▲]

Detailed reference viewed: 117 (22 UL)
Full Text
Peer Reviewed
See detailModel-based mutant equivalence detection using automata language equivalence and simulations
Devroey, Xavier; Perrouin, Gilles; Papadakis, Mike UL et al

in Journal of Systems and Software (2018)

Detailed reference viewed: 55 (0 UL)
Full Text
Peer Reviewed
See detailModel-based Optimal Sensor Placement Approaches to Fuel Cell Stack System Fault Diagnosis
Sarrate, Ramon; Nejjari, Fatiha; Rosich, Albert UL

in Fault Detection, Supervision and Safety of Technical Processes, Volume# 8 | Part# 1 (2012)

The problem of optimal sensor placement for FDI consists in determining the set of sensors that minimizes a pre-defined cost function satisfying at the same time a pre-established set of FDI ... [more ▼]

The problem of optimal sensor placement for FDI consists in determining the set of sensors that minimizes a pre-defined cost function satisfying at the same time a pre-established set of FDI specifications for a given set of faults. This paper recalls three model-based optimal sensor location approaches: an Incremental search, a Heuristic search and a Binary Integer Linear Programming (BILP) formulation. The main contribution of this paper is a comparative study that addresses efficiency, flexibility and other issues. The performance of the approaches is demonstrated by an application to a fuel cell stack system. [less ▲]

Detailed reference viewed: 85 (13 UL)
Full Text
Peer Reviewed
See detailModel-based Product and Process Integration for Enhanced Collaboration during Mechatronic Design Processes
Seemueller, H.; Voos, Holger UL

in 2nd Workshop on Process-based Approaches for Model-Driven Engineering PMDE, Copenhagen 2-5 July 2012 (2012)

The collaborative design of mechatronic systems is still a challenging task as di erent engineering disciplines have to be considered and coordinated during the design process. Here, an independent and ... [more ▼]

The collaborative design of mechatronic systems is still a challenging task as di erent engineering disciplines have to be considered and coordinated during the design process. Here, an independent and isolated view on discipline-speci c tools, model data and activities is not appropriate. So, the integration of these aspects for improved collaboration is still a remaining task in industry and research. Former research have already developed rst solutions each directing into the integration of distinct aspects among the involved disciplines. This paper claims that a comprehensive view on the di erent aspects can bring signi cant bene ts for the design of mechatronic systems. In detail, it presents an approach which combines interdisciplinary system modeling with design activity management by describing and integrating these aspects on metalevel. This integration leads automatically to enhanced possibilities for design activity coordination and monitoring. [less ▲]

Detailed reference viewed: 43 (2 UL)
See detailModel-based Reasoning in Science and Technology
Durlacher, Thomas UL

Presentation (2018, October 25)

Detailed reference viewed: 60 (3 UL)
Full Text
Peer Reviewed
See detailA Model-Based Requirements Engineering Framework in an Automotive Certification Purpose
Adedjouma, Morayo UL

in Proceedings of the REFSQ 2011 Workshops REEW, EPICAL and RePriCo, the REFSQ 2011 Empirical Track (Empirical Live Experiment and Empirical Research Fair), and the REFSQ 2011 Doctoral Symposium (2009)

Detailed reference viewed: 38 (1 UL)
Full Text
Peer Reviewed
See detailModel-based security verification and testing for smart-cards
Fourneret, Elizabeta UL; Ochoa, Martìn; Bouquet, Fabrice et al

in Proceedings of 6th International Conference on Availability, Reliability and Security (ARES 2011) (2011)

Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to ensure that the system behaviour conforms to its specification. Recently, it has been successfully applied for testing ... [more ▼]

Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to ensure that the system behaviour conforms to its specification. Recently, it has been successfully applied for testing certain security properties. However, for the success of this approach, it is an important prerequisite to consider the correctness of test models with respect to the given security property. In this paper we present an approach for smart-card specific security properties that permits to validate the system with MBT from test schemas. We combine this MBT approach with UMLsec security verification technique, by using UMLsec stereotypes to verify the model w.r.t. given security properties and gain more confidence in the model. We then define an automatic procedure to generate security test from the UMLsec model via so-called "test schemas". We validate this approach on a fragment of the Global Platform specification and report on available tool support. [less ▲]

Detailed reference viewed: 56 (2 UL)
Full Text
Peer Reviewed
See detailModel-Based Simulation of Legal Policies: Framework, Tool Support, and Validation
Soltana, Ghanem UL; Sannier, Nicolas UL; Sabetzadeh, Mehrdad UL et al

in Software & Systems Modeling (2018), 17(3), 851-883

Simulation of legal policies is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest ... [more ▼]

Simulation of legal policies is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g., revenue. Legal policy simulation is currently implemented using a combination of spreadsheets and software code. Such a direct implementation poses a validation challenge. In particular, legal experts often lack the necessary software background to review complex spreadsheets and code. Consequently, these experts currently have no reliable means to check the correctness of simulations against the requirements envisaged by the law. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator. A hard-coded generator is difficult to build and validate. We develop a framework for legal policy simulation that is aimed at addressing the challenges above. The framework uses models for specifying both legal policies and the probabilistic characteristics of the underlying population. We devise an automated algorithm for simulation data generation. We evaluate our framework through a case study on Luxembourg’s Tax Law. [less ▲]

Detailed reference viewed: 389 (88 UL)
Full Text
Peer Reviewed
See detailModel-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation
Soltana, Ghanem UL; Sabetzadeh, Mehrdad UL; Briand, Lionel UL

in 24th IEEE International Conference on Requirements Engineering (RE'16) (2016)

Using models for expressing legal requirements is now commonplace in Requirements Engineering. Models of legal requirements, on the one hand, facilitate communication between software engineers and legal ... [more ▼]

Using models for expressing legal requirements is now commonplace in Requirements Engineering. Models of legal requirements, on the one hand, facilitate communication between software engineers and legal experts, and on the other hand, provide a basis for systematic and automated analysis. The most prevalent application of legal requirements models is for checking the compliance of software systems with laws and regulations. In this experience paper, we explore a complementary application of legal requirements models, namely simulation. We observe that, in domains such as taxation, the same models that underlie legal compliance analysis bring important added value by enabling simulation. Concretely, this paper reports on the model-based simulation of selected legal requirements (policies) derived from Luxembourg’s Income Tax Law. The simulation scenario considered in the paper is aimed at analyzing the impact of a current tax law reform proposal in Luxembourg. We describe our approach for simulation along with empirical results demonstrating the feasibility and accuracy of the approach. We further present lessons learned from the experience. [less ▲]

Detailed reference viewed: 191 (22 UL)
Full Text
See detailModel-Based Specification, Deployment and Adaptation of Robot Perception Systems
Hochgeschwender, Nico UL

Doctoral thesis (2017)

As robots are becoming ubiquitous and more capable, the need for introducing solid robot software development methods is pressing to increase robots' task spectrum. This thesis is concerned with improving ... [more ▼]

As robots are becoming ubiquitous and more capable, the need for introducing solid robot software development methods is pressing to increase robots' task spectrum. This thesis is concerned with improving software engineering of robot perception systems. The presented research employs a model-based approach to provide the means to represent knowledge about robotics software. The thesis is divided into three parts, namely research on the specification, deployment and adaptation of robot perception systems. The first part contributes the design and development of two domain-specific languages, namely RPSL and DepSL. Those languages provide suitable notations and abstractions to enable domain experts to express, compose and explore functional, architectural and deployment design decisions of robot perception systems. The resulting models are interpretable, thus they can be used not only to communicate design decisions to stakeholders, but also to verify them in an early development stage. The second part contributes means for deploying perception systems on real robot systems even in the presence of varying resource conditions. To this end, functional, architectural and deployment models are composed in a graph-structure. Such a graph enables not only humans, but also robots to derive implicitly defined information about their software both at design time and run time. The second part also contributes a reference architecture for deploying robot perception systems. The architecture provides a template solution for integrating not only the models required for deployment, but also all the other means required to carry out deployment. The third part utilizes both RPSL, DepSL and the reference architecture to specify, implement and evaluate three different robot perception systems. Those are capable to satisfy changing requirements induced, for example, by the robot's tasks or environment. This is achieved by proposing algorithms which derive adaptation actions based on models and varying requirements. [less ▲]

Detailed reference viewed: 250 (49 UL)