Filters








37,823 Hits in 6.3 sec

Passive testing of production systems based on model inference

William Durand, Sebastien Salva
2015 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)  
This framework, designed with the collaboration of our industrial partner Michelin, infers formal models that can be used as specifications to perform offline passive testing.  ...  This paper tackles the problem of testing production systems, i.e. systems that run in industrial environments, and that are distributed over several devices and sensors.  ...  CONCLUSION This paper presents Autofunk, a fast passive testing framework combining different fields such as model inference, expert systems, and machine learning.  ... 
doi:10.1109/memcod.2015.7340480 dblp:conf/memocode/DurandS15 fatcat:yxw24anlevfovl2l75eltlvtiy

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems [chapter]

William Durand, Sébastien Salva
2015 Lecture Notes in Computer Science  
In this paper, we present Autofunk, a fast and scalable framework designed at Michelin to automatically build formal models (Symbolic Transition Systems) based on production messages gathered from production  ...  Our approach combines model-driven engineering with rule-based expert systems and human knowledge.  ...  In the future, we plan to work on passive testing by applying our framework for different versions of a system and draw conclusions based on the generated models.  ... 
doi:10.1007/978-3-319-19249-9_36 fatcat:putjw4ncardxhepsv2avx42s6i

Interface protocol inference to aid understanding legacy software components

Kousar Aslam, Loek Cleophas, Ramon Schiffelers, Mark van den Brand
2020 Journal of Software and Systems Modeling  
In terms of component-based software engineering, it is necessary to completely understand the behavior of components in relation to their interfaces, i.e., their interface protocols, and to preserve this  ...  To apply our approach in practice, we present an automated framework for conducting active learning on a large set of components and deriving their interface protocols.  ...  The authors would also like to express deep gratitude to Dennis Hendriks and Leonard Lensink for providing support on the design of experiments and implementation, Alexander Serebrenik for advice on results  ... 
doi:10.1007/s10270-020-00809-2 fatcat:lyb6dujhyrecrj3lzenkqlm2mu

Model Learning and Model-Based Testing [chapter]

Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
2018 Lecture Notes in Computer Science  
Domain: test-based learning and model-based testing have been applied to various domains, such as embedded systems, network protocols, and web services.  ...  However, other types of model-based testing have also been considered in combination with learning; these include: integration testing, performance testing, and security testing. 3.  ...  The insightful comments of Karl Meinke and Neil Walkinshaw on an earlier draft led to improvements and are gratefully acknowledged. The  ... 
doi:10.1007/978-3-319-96562-8_3 fatcat:qrz24l2twrh5rp7ltpyxo4ooii

Autofunk, a fast and scalable framework for building formal models from production systems

Sébastien Salva, William Durand
2015 Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems - DEBS '15  
Our framework, called Autofunk and designed with the collaboration of our industrial partner Michelin, combines formal model-driven engineering and expert systems to infer formal models that can be used  ...  This paper proposes a model inference framework for production systems distributed over multiple devices exchanging thousands of events.  ...  We focus on exact and formal model generation, using expert systems and inference rules to emulate human knowledge, and transition systems to embrace formal tools.  ... 
doi:10.1145/2675743.2771876 dblp:conf/debs/SalvaD15 fatcat:y2ue6ojwejaojfjajietyreqiy

An Experience Report on Applying Passive Learning in a Large-Scale Payment Company

Rick Wieman, Mauricio Finavaro Aniche, Willem Lobbezoo, Sicco Verwer, Arie van Deursen
2017 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME)  
Passive learning techniques infer graph models on the behavior of a system from large trace logs.  ...  The research community has been dedicating great effort in making passive learning techniques more scalable and ready to use by industry.  ...  The goal of passive learning techniques is to infer graph models on the behavior of the system from large trace logs [34] .  ... 
doi:10.1109/icsme.2017.71 dblp:conf/icsm/WiemanALVD17 fatcat:hyaqqhwpivazlp357aorsz4hua

Bridging the gap between photovoltaics R D and manufacturing with data-driven optimization [article]

Felipe Oviedo, Zekun Ren, Xue Hansong, Siyu Isaac Parker Tian, Kaicheng Zhang, Mariya Layurova, Thomas Heumueller, Ning Li, Erik Birgersson, Shijing Sun, Benji Mayurama, Ian Marius Peters (+3 others)
2020 arXiv   pre-print
The record-efficiency paradigm is effective in early-stage R&D, but becomes unsuitable for industrial translation, requiring a repetition of the optimization procedure in the industrial setting.  ...  This approach is intensive in time and resources, and ignores many relevant factors for industrial production, particularly the need for high reproducibility and high manufacturing yield, and the accompanying  ...  Acknowledgements: We Data availability The data and code used for this work is available in: https://github.com/PV-Lab/Data-Driven-PV  ... 
arXiv:2004.13599v1 fatcat:jra67wdlyngczka5rjfk7j7lwm

ASimOV: A Framework for Simulation and Optimization of an Embedded AI Accelerator

Dong Hyun Hwang, Chang Yeop Han, Hyun Woo Oh, Seung Eun Lee
2021 Micromachines  
To verify ASimOV, we explore the performance space of k-NN algorithms and generate Verilog HDL code to demonstrate the k-NN accelerator in FPGA.  ...  In this paper, we propose the ASimOV framework, which optimizes artificial intelligence algorithms and generates Verilog hardware description language (HDL) code for executing intelligence algorithms in  ...  The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ... 
doi:10.3390/mi12070838 fatcat:zrqer4uyl5gidef5tdywtsdrkq

Active Automata Learning in Practice [chapter]

Falk Howar, Bernhard Steffen
2018 Lecture Notes in Computer Science  
As systems become ever more complex and development becomes more distributed, inferred models of system behavior become an increasingly valuable asset for understanding and analyzing a system's behavior  ...  We predicted four major topics to be addressed in the then near future: efficiency, expressivity of models, bridging the semantic gap between formal languages and analyzed components, and solutions to  ...  Walkinshaw uses passively inferred models as a basis for deciding the adequacy of test suites for black-box systems [142] .  ... 
doi:10.1007/978-3-319-96562-8_5 fatcat:jtpzftrzvzf3tdtbncntfc4s4q

Hybrid test of web applications with webtest

Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten
2008 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08  
This combination helps bridging the gap towards model based testing also for legacy systems.  ...  In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing).  ...  In hybrid testing, we use the jABC to capture runnable test cases as models, and to combine them by dynamic testing into behavioural models of the web application under consideration.  ... 
doi:10.1145/1390832.1390833 dblp:conf/issta/RaffeltMSM08 fatcat:hainb6rbxnhfjk6g456nbsprqi

Semi-Supervised Cross-Silo Advertising with Partial Knowledge Transfer [article]

Wenjie Li, Qiaolin Xia, Junfeng Deng, Hao Cheng, Jiangming Liu, Kouying Xue, Yong Cheng, Shu-Tao Xia
2022 arXiv   pre-print
We identify that: i) there are massive unlabeled overlapped data available in advertising systems, and ii) we can keep a balance between model performance and inference cost by decomposing the federated  ...  In this paper, we propose a semi-supervised split distillation framework VFed-SSD to alleviate the two limitations.  ...  In the special case of CTR prediction, the passive party also has the same label information so that has the right to access the final model.  ... 
arXiv:2205.15987v2 fatcat:kvpwbdckuvacfdrso56vbzcbjy

Model Learning: A Survey on Foundation, Tools and Applications [article]

Shahbaz Ali and Hailong Sun and Yongwang Zhao
2018 arXiv   pre-print
Model-based testing and formal verification techniques can be employed to enhance the reliability of software systems.  ...  This paper also surveys the successful applications of model learning technique in multidisciplinary fields making it promising for testing and verification of realistic systems.  ...  Acknowledgement We would like to gratitude Mr. Markus Frohme TU Dortmund for valuable discussions and generous sup-  ... 
arXiv:1901.01910v1 fatcat:ttfnf3elxfhjvdvtid5tzsmfbm

Scientific inference and experiment in Ecosystem Based Fishery Management, with application to Steller sea lions in the Bering Sea and Western Gulf of Alaska

Marc Mangel
2010 Marine Policy  
An example of adaptive management in northwestern Australia shows the strengths and limitations of management experiments and raises the question of how to learn if an experiment is not practicable.  ...  With sufficient variation, even if it is not through controlled experiments, scientific inference is possible by combining mechanistic models with statistical methods; the recently proposed paradigm of  ...  I thank Keith Sainsbury for general discussions on the topic and Nick Wolf for discussions over the years on the nature of adaptive management in the Bering Sea.  ... 
doi:10.1016/j.marpol.2010.01.005 fatcat:rwmr4p6qxneqhfrk4kwxnlf2qu

Enabling Automatic Process-Aware Collaboration Support in Software Engineering Projects [chapter]

Gregor Grambow, Roy Oberhauser, Manfred Reichert
2013 Communications in Computer and Information Science  
This enables the system to support the users with active and passive information and support collaboration.  ...  One problematic aspect is the coordination of and collaboration among the many individuals working in such projects.  ...  The holistic combination of all project areas in conjunction with semantic technology also enables the framework to provide intelligent decisions and thus a higher level of automation.  ... 
doi:10.1007/978-3-642-36177-7_5 fatcat:xyaigemfkren7nomxmbvc3wgjy

Harnessing Commodity Wearable Devices to Capture Learner Engagement

Yu Lu, Jingjing Zhang, Baoping Li, Penghe Chen, Zijun Zhuang
2019 IEEE Access  
Next, by leveraging the established theory that links learner activities to learner engagement, the detected learner activities can be used to further infer the learner engagement levels, durations, and  ...  With the aim of capturing learner engagement, we propose and advocate the use of commodity wearable devices and their built-in sensors (e.g., accelerometer, gyroscope, and magnetic sensor) to detect the  ...  The schools and industry players, espcially in K-12 education, also attempt to provide proper solution to tackle the challenges: • In what ways and to what extent student learning behaviors can be properly  ... 
doi:10.1109/access.2019.2895874 fatcat:7linnmchwneepie4qz7v6z7kma
« Previous Showing results 1 — 15 out of 37,823 results