SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Mousavi Mohammad Reza 1978 ) srt2:(2015-2019)"

Sökning: WFRF:(Mousavi Mohammad Reza 1978 ) > (2015-2019)

  • Resultat 1-10 av 33
  • [1]234Nästa
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Khamespanah, Ehsan, et al. (författare)
  • State Distribution Policy for Distributed Model Checking of Actor Models
  • 2015
  • Ingår i: EFFEMBAC (Vetenskapsrådet, award number 621-2014-5057). - Berlin : Universitätsverlag der TU Berlin. ; 72, s. 1-15
  • Tidskriftsartikel (refereegranskat)abstract
    • Model checking temporal properties is often reduced to finding accepting cycles in Büchi automata. A key ingredient for an effective distributed model checking technique is a distribution policy that does not split the potential accepting cycles of the corresponding automaton among several nodes. In this paper, we introduce a distribution policy to reduce the number of split cycles. This policy is based on the call dependency graph, obtained from the message passing skeleton of the model. We prove theoretical results about the correspondence between the cycles of call dependency graph and the cycles of the concrete state space and provide empirical data obtained from applying our distribution policy in state space generation and reachability analysis. We take Rebeca, an imperative interpretation of actors, as our modeling language and implement the introduced policy in its distributed state space generator. Our technique can be applied to other message-driven actor-based models where concurrent objects or services are units of concurrency.
  •  
2.
  •  
3.
  • Aerts, Arend, et al. (författare)
  • A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
  • 2015
  • Ingår i: EFFEMBAC. - Cham : Springer. ; , s. 563-572
  • Konferensbidrag (refereegranskat)abstract
    • We report on a tool prototype for model-based testing of cyber-physical systems. Our starting point is a hybrid-system model specified in a domain-specific language called Acumen. Our prototype tool is implemented in Matlab and covers three stages of model-based testing, namely, test-case generation, test-case execution, and conformance analysis. We have applied our implementation to a number of typical examples of cyber-physical systems in order to analyze its applicability. In this paper, we report on the result of applying the prototype tool on a DC-DC boost converter. © Springer International Publishing Switzerland 2015
  •  
4.
  • Aerts, Arend, et al. (författare)
  • Model-Based Testing of Cyber-Physical Systems
  • 2016
  • Ingår i: ; , s. 287-304
  • Bokkapitel (refereegranskat)abstract
    • Cyber-physical systems (CPSs) are the result of the integration of connected computer systems with the physical world. They feature complex interactions that go beyond traditional communication schemes and protocols in computer systems. One distinguished feature of such complex interactions is the tight coupling between discrete and continuous interactions, captured by hybrid system models.Due to the complexity of CPSs, providing rigorous and model-based analysis methods and tools for verifying correctness of such systems is of the utmost importance. Model-based testing (MBT) is one such verification technique that can be used for checking the conformance of an implementation of a system to its specification (model).In this chapter, we first review the main concepts and techniques in MBT. Subsequently, we review the most common modeling formalisms for CPSs, with focus on hybrid system models. Subsequently, we provide a brief overview of conformance relations and conformance testing techniques for CPSs. © 2017 Elsevier Inc. All rights reserved.
  •  
5.
  • Aichernig, Bernhard K., et al. (författare)
  • Model Learning and Model-Based Testing
  • 2018
  • Ingår i: ; , s. 74-100
  • Konferensbidrag (refereegranskat)abstract
    • We present a survey of the recent research efforts in integrating model learning with model-based testing. We distinguished two strands of work in this domain, namely test-based learning (also called test-based modeling) and learning-based testing. We classify the results in terms of their underlying models, their test purpose and techniques, and their target domains. © Springer International Publishing AG
  •  
6.
  • Araujo, Hugo, et al. (författare)
  • A Process for Sound Conformance Testing of Cyber-Physical Systems
  • 2017
  • Ingår i: AUTO-CAAS. - Los Alamitos, CA : IEEE Computer Society. ; , s. 46-50
  • Konferensbidrag (refereegranskat)abstract
    • We present a process for sound conformance testing of cyber-physical systems, which involves functional but also non-functional aspects. The process starts with a hybrid model of cyber-physical systems in which the correct behavior of the system (at its interface level) is specified. Such a model captures both discrete behavior and evolution of continuous dynamics of the system in time. Since conformance testing inherently involves comparing continuous dynamics, the key parameters of the process are (1) the conformance bounds defining when two signals are sufficiently close to each other, and (2) the permitted error margin in the conformance analysis introduced by sampling of continuous signals. The final parameter of this process is (3) finding (and adjusting) the sampling rate of the dynamic behavior. In the specified process, we provide different alternatives for fixing the error margin of the conformance testing if the sampling rate is fixed, establishing the sampling rate if the error margin is fixed and finding conformance bounds once the sampling rate and the error margin are fixed. © 2017 IEEE.
  •  
7.
  • Arts, Thomas, et al. (författare)
  • Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS) [Position Paper]
  • 2015
  • Ingår i: AUTO-CAAS. - New York, NY : ACM Press. ; , s. 35-38
  • Konferensbidrag (refereegranskat)abstract
    • This paper provides some background and the roadmap of the AUTO-CAAS project, which is a 3-year project financed by the Swedish Knowledge Foundation and is ongoing as a joint project among three academic and industrial partners. The aim of the project is to exploit the formal models of the AUTOSAR standard, developed by the industrial partner of the project Quviq AB, in order to predict possible future failures in concrete implementations of components. To this end, the deviations from the formal specification will be exploited to generate test-cases that can push concrete components to the corners where such deviation will result in observable failures. The same information will also be used in the diagnosis of otherwise detected failures in order to pinpoint their root causes.
  •  
8.
  • Beohar, Harsh, 1984-, et al. (författare)
  • A Pre-congruence Format for XY-simulation
  • 2015
  • Ingår i: EFFEMBAC ( (Effective Model-Based Testing of Concurrent Systems). - Cham : Springer. ; , s. 215-229
  • Konferensbidrag (refereegranskat)abstract
    • XY-simulation is a generalization of bisimulation that is parameterized with two subsets of actions. XY-simulation is known in the literature under different names such as modal refinement, partial bisimulation, and alternating simulation. In this paper, we propose a precongruence rule format for XY-simulation. The format allows for checking compositionality of XY-simulation for an arbitrary language with structural operational semantics, by performing very simple checks on the syntactic shape of the rules. We apply our format to derive concrete compositionality results for different notions of behavioral pre-order with respect to different process calculi in the literature. © IFIP International Federation for Information Processing 2015
  •  
9.
  • Beohar, Harsh, 1984-, et al. (författare)
  • Basic behavioral models for software product lines : Expressiveness and testing pre-orders
  • 2016
  • Ingår i: EFFEMBAC. - Amsterdam : Elsevier. ; 123, s. 42-60
  • Tidskriftsartikel (refereegranskat)abstract
    • In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we provide a structured overview of those formalisms based on labeled transition systems and compare their expressiveness in terms of the set of products they can specify. Moreover, we define the notion of tests for each of these formalisms and show that our notions of testing precisely capture product derivation, i.e., all valid products will pass the set of test cases of the product line and each invalid product fails at least one test case of the product line. © 2015 The Authors.
  •  
10.
  • Beohar, Harsh, 1984-, et al. (författare)
  • Input–output conformance testing for software product lines
  • 2016
  • Ingår i: AUTO-CAAS, KK HÖG Project. - Amsterdam : Elsevier. ; 85:6, s. 1131-1153
  • Tidskriftsartikel (refereegranskat)abstract
    • We extend the theory of input-output conformance (IOCO) testing to accommodate behavioral models of software product lines (SPLs). We present the notions of residual and spinal testing. These notions allow for structuring the test process for SPLs by taking variability into account and extracting separate test suites for common and specific features of an SPL. The introduced notions of residual and spinal test suites allow for focusing on the newly introduced behavior and avoiding unnecessary re-test of the old one. Residual test suites are very conservative in that they require retesting the old behavior that can reach to new behavior. However, spinal test suites more aggressively prune the old tests and only focus on those test sequences that are necessary in reaching the new behavior. We show that residual testing is complete but does not usually lead to much reduction in the test-suite. In contrast, spinal testing is not necessarily complete but does reduce the test-suite. We give sufficient conditions on the implementation to guarantee completeness of spinal testing. Finally, we specify and analyze an example regarding the Ceiling Speed Monitoring Function from the European Train Control System. (C) 2016 The Author(s). Published by Elsevier Inc.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 33
  • [1]234Nästa
Typ av publikation
konferensbidrag (18)
tidskriftsartikel (10)
doktorsavhandling (2)
samlingsverk (redaktörskap) (1)
proceedings (redaktörskap) (1)
bokkapitel (1)
visa fler...
visa färre...
Typ av innehåll
refereegranskat (28)
övrigt vetenskapligt (5)
Författare/redaktör
Mousavi, Mohammad Re ... (32)
Varshosaz, Mahsa, 19 ... (7)
Beohar, Harsh, 1984- (5)
Reniers, Michel A. (3)
Taromirad, Masoumeh, ... (3)
Simao, Adenilso (3)
visa fler...
Mohaqeqi, Morteza (2)
Aerts, Arend (2)
Mostowski, Wojciech, ... (2)
Carvalho, Gustavo (2)
Sampaio, Augusto (2)
Castellani, Ilaria (2)
Fragal, Vanderson Ha ... (2)
Baier, Christel (1)
Aichernig, Bernhard ... (1)
Tappler, Martin (1)
Berger, Christian (1)
Araujo, Hugo (1)
Arts, Thomas (1)
Khosravi, Ramtin (1)
Noroozi, Neda (1)
Sirjani, Marjan (1)
Khamespanah, Ehsan (1)
Caltais, Georgiana (1)
Leue, Stefan (1)
Chaudron, Michel (1)
Schaefer, Ina (1)
Costa Paiva, Sofia (1)
Thum, Thomas (1)
Montanari, Ugo (1)
Endo, Andre Takeshi (1)
Oliveira, Bruno (1)
Ghassemi, Fatemeh (1)
Hafemann Fragal, Van ... (1)
da Silva Simão, Aden ... (1)
Wasowski, Andrzej, P ... (1)
Hierons, Robert M. (1)
Thomsen, Michael Kir ... (1)
Turker, Uraz Cengiz (1)
Sabahi Kaviani, Zeyn ... (1)
Razzazi, Mohammad Re ... (1)
Kunze, Sebastian, 19 ... (1)
Basten, Twan (1)
van Glabbeek, Rob (1)
Dubslaff, Clemens (1)
Bruni, Roberto (1)
Melgratti, Hernan (1)
Willemse, Tim A.C. (1)
Hajiaghayi, Mohammad ... (1)
Al-Hajjaji, Mustafa (1)
visa färre...
Lärosäte
Högskolan i Halmstad (33)
Uppsala universitet (2)
Språk
Engelska (33)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (28)
Teknik (6)

År

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy