Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "software verification" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-15 z 15
    Tytuł:
    Model checking processes specified in join-calculus algebra
    Autorzy:
    Maludziński, S.
    Dobrowolski, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/305715.pdf
    Data publikacji:
    2014
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    join-calculus
    model checking
    formal methods
    automatic software verification
    Opis:
    This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic. Join-calculus algebra, with its operational semantics defined by a chemical abstract machine, serves as the basic method for the specification of concurrent systems and their synchronization mechanisms, allowing for the examination of more complex systems. The described model checker is a proof of concept for the utilization of new methodologies of formal system specification and verification in software engineering practice.
    Źródło:
    Computer Science; 2014, 15 (1); 61-74
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    ChR: Dynamic Functional Constraints Checking in R
    Autorzy:
    Grzanek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/108643.pdf
    Data publikacji:
    2017
    Wydawca:
    Społeczna Akademia Nauk w Łodzi
    Tematy:
    formal software verification
    software quality
    dynamic type-checking
    functional programming
    category theory
    R
    Opis:
    Dynamic typing of R programming language may issue some quality problems in large scale data-science and machine-learning projects for which the language is used. Following our efforts on providing gradual typing library for Clojure we come with a package chR - a library that offers functionality of run-time type-related checks in R. The solution is not only a dynamic type checker, it also helps to systematize thinking about types in the language, at the same time offering high expressivenes and full adherence to functional programming style.
    Źródło:
    Journal of Applied Computer Science Methods; 2017, 9 No. 1; 65-78
    1689-9636
    Pojawia się w:
    Journal of Applied Computer Science Methods
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Low-Cost Dynamic Constraint Checking for the JVM
    Autorzy:
    Grzanek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/108744.pdf
    Data publikacji:
    2016
    Wydawca:
    Społeczna Akademia Nauk w Łodzi
    Tematy:
    formal software verification
    software quality
    dynamic type-checking
    functional programming
    category theory
    Clojure
    Opis:
    Using formal methods for software verification slowly becomes a standard in the industry. Overall it is a good idea to integrate as many checks as possible with the programming language. This is a major cause of the apparent success of strong typing in software, either performed on the compile time or dynamically, on runtime. Unfortunately, only some of the properties of software may be expressed in the type system of event the most sophisticated programming languages. Many of them must be performed dynamically. This paper presents a flexible library for the dynamically typed, functional programming language running in the JVM environment. This library offers its users a close to zero run-time overhead and strong mathematical background in category theory.
    Źródło:
    Journal of Applied Computer Science Methods; 2016, 8 No. 2; 115-136
    1689-9636
    Pojawia się w:
    Journal of Applied Computer Science Methods
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A safe programmable electronic system
    Autorzy:
    Halang, W.
    Śnieżek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/200676.pdf
    Data publikacji:
    2010
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    programmable electronic systems
    safety
    fail-safe comparison
    function block programming
    software verification
    Opis:
    A dual-channel computer architecture for utilisation in programmable logic controllers is presented. Faults can be detected by novel high-speed comparators with fail-safe operation. The cyclic operating mode of PLCs and a specification-level, graphical programming paradigm based on the interconnection of application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the programming and machine execution levels enabling the safety licensing of application software by an extremely simple, but rigorous method, viz., diverse back translation.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2010, 58, 3; 423-434
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Efficiency of Software Testing Techniques: A Controlled Experiment Replication and Network Meta-analysis
    Autorzy:
    Gómez, O. S.
    Cortés-Verdín, K.
    Pardo, C. J.
    Powiązania:
    https://bibliotekanauki.pl/articles/384107.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    software verification
    software testing
    controlled experiment
    experiment replication
    meta-analysis
    network meta-analysis
    quantitative synthesis
    Opis:
    Background. Common approaches to software verification include static testing techniques, such as code reading, and dynamic testing techniques, such as black-box and white-box testing. Objective. With the aim of gaining a better understanding of software testing techniques, a controlled experiment replication and the synthesis of previous experiments which examine the efficiency of code reading, black-box and white-box testing techniques were conducted. Method. The replication reported here is composed of four experiments in which instrumented programs were used. Participants randomly applied one of the techniques to one of the instrumented programs. The outcomes were synthesized with seven experiments using the method of network meta-analysis (NMA). Results. No significant differences in the efficiency of the techniques were observed. However, it was discovered the instrumented programs had a significant effect on the efficiency. The NMA results suggest that the black-box and white-box techniques behave alike; and the efficiency of code reading seems to be sensitive to other factors. Conclusion. Taking into account these findings, the Authors suggest that prior to carrying out software verification activities, software engineers should have a clear understanding of the software product to be verified; they can apply either black-box or white-box testing techniques as they yield similar defect detection rates.
    Źródło:
    e-Informatica Software Engineering Journal; 2017, 11, 1; 77-102
    1897-7979
    Pojawia się w:
    e-Informatica Software Engineering Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of deductive reasoning to the verification of archimate behavioral elements
    Autorzy:
    Klimek, Radosław
    Szwed, Piotr
    Jędrusik, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/431909.pdf
    Data publikacji:
    2013
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    Deductive temporal reasoning
    software verification
    ArchiMate
    semantics table¬aux method
    Linear Temporal Logic
    Opis:
    The formal verification of business models has recently become an intensively researched area. It is expected that the application of formal tools may bring such benefits to organizations as the improved quality of products and services and a lower ratio of operational errors. In this paper we discuss the application of a deduction-based method for the verification of the behavioral aspects of ArchiMate models. The first step in our method consists in the translation of the ArchiMate model into Linear Temporal Logic (LTL) formulas. The resulting LTL formulas are then verified to check the expected temporal properties. The verification process is based on the semantics tableaux method and is conducted with an LTL prover. The method is discussed using an example of a business process implemented within a surveillance system.
    Źródło:
    Informatyka Ekonomiczna; 2013, 3(29); 76-97
    1507-3858
    Pojawia się w:
    Informatyka Ekonomiczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD
    Use of LOTOS language in modeling HOOD method structures
    Autorzy:
    Brzuchcz, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/320396.pdf
    Data publikacji:
    2006
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    systemy czasu rzeczywistego
    weryfikacja oprogramowania
    algebry procesów
    abstrakcyjne typy danych
    LOTOS
    HOOD
    real-time systems
    software verification
    process algebras
    abstract data types
    Opis:
    W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.
    The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.
    Źródło:
    Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
    1640-7202
    Pojawia się w:
    Elektrotechnika i Elektronika
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
    Safety execution framework for FB applications
    Autorzy:
    Śnieżek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/156270.pdf
    Data publikacji:
    2005
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterowanie bezpieczne
    sterownik logiczny
    PLC
    język bloków funkcyjnych
    formalna weryfikacja
    safety related control
    Safety Integrity Level 3
    Function Block Diagrams
    software verification
    programmable logic controller
    Opis:
    W pracy przedstawiono programowalny sterownik logiczny, zachowujący się w sposób bezpieczny. Zachowanie to obejmuje normalną pracę, podczas której wymaga się poprawnego sterowania, jak również stan awarii, w którym wyjścia muszą być automatycznie wyzerowane. Algorytm sterowania jest opisany metodą bloków funkcyjnych FBD i SFC zgodną z normą IEC-61131. Zastosowana architektura sprzętowa sprzyja podzieleniu oprogramowania na dwie części. Pierwsza część - stała, niezależna od aplikacji - obejmuje bibliotekę bloków funkcyjnych. część druga - zmienna, bezpośrednio zależna od aplikacji - zawiera strukturę połączeń bloków. Obydwie części są wykonywane przez osobne procesory. Do badania poprawności stałej części programu zaproponowano formalną metodę wykorzystującą logikę wyższego rzędu HOL. Część zamienną bada się stosując metodę zróżnicowanej retranslacji.
    To architecturally support the programming of safety related control applications in the graphical language Function Block Diagram and the verification of such software meeting the requirements of safety Integrity level 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emegrency shut-downs in case of malfunctions. By design, there is no semantic gap between the programming and machine execution levels, enabling the safety licensing of application software by extremely simple, but rigorous methods, viz., diverse back translation and inspection. Operating in strictly periodic fashion, the platform exhibits fully predictable real time behaviour.
    Źródło:
    Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 31-33
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika temporalna w informatyce
    Temporal Logic in Computer Science
    Autorzy:
    Trzęsicki, Kazimierz
    Powiązania:
    https://bibliotekanauki.pl/articles/2012894.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    informatyka
    logika temporalna
    weryfikowanie systemów informatycznych
    logic
    computer science
    temporal logic
    verification of software systems
    Opis:
    Leibniz intended to create a lingua characteristica universalis, a language, in which all knowledge (expressiveness) could be recorded, and a calculus ratiocinator, a method that would make it possible to define in a calculational manner the truth of any sentence in this language. Such an idea is at the basis of contemporary logic. With respect to the correctness of the equipment and of programs such an idea is at the foundations of logical methods of verification of software systems. Today we can see that a further development of informatics indeed depends on the progress of research in logic, and logic – this ancient discipline – has found a rich field for investigations; it has gained new perspectives for studies. Its applications may have a significant practical dimension that philosophers have never dreamed about. 
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 2; 181-205
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Systematic Reuse Process for Automated Acceptance Tests: Construction and Elementary Evaluation
    Autorzy:
    Irshad, Mohsin
    Petersen, Kai
    Powiązania:
    https://bibliotekanauki.pl/articles/2060903.pdf
    Data publikacji:
    2021
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    software component
    software reuse
    software testing
    analysis
    verification
    agile software development methodology
    agile software development practice
    software quality
    Opis:
    Context: Automated acceptance testing validates a product’s functionality from the customer’s perspective. Text-based automated acceptance tests (AATs) have gained popularity because they link requirements and testing. Objective: To propose and evaluate a cost-effective systematic reuse process for automated acceptance tests. Method: A systematic approach, method engineering, is used to construct a systematic reuse process for automated acceptance tests. The techniques to support searching, assessing, adapting the reusable tests are proposed and evaluated. The constructed process is evaluated using (i) qualitative feedback from software practitioners and (ii) a demonstration of the process in an industry setting. The process was evaluated for three constraints: performance expectancy, effort expectancy, and facilitating conditions. Results: The process consists of eleven activities that support development for reuse, development with reuse, and assessment of the costs and benefits of reuse. During the evaluation, practitioners found the process a useful method to support reuse. In the industrial demonstration, it was noted that the activities in the solution helped in developing an automated acceptance test with reuse faster than creating a test from scratch i.e., searching, assessment and adaptation parts. Conclusion: The process is found to be useful and relevant to the industry during the preliminary investigation.
    Źródło:
    e-Informatica Software Engineering Journal; 2021, 15, 1; 133--162
    1897-7979
    Pojawia się w:
    e-Informatica Software Engineering Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Systematic Literature Review on Search Based Mutation Testing
    Autorzy:
    Nishtha, J.
    Bharti, S.
    Shweta, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/384128.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    software testing
    analysis
    verification
    systematic review
    mapping studies
    Opis:
    Search based techniques have been widely applied in the domain of software testing. This Systematic Literature Review aims to present the research carried out in the field of search based approaches applied particularly to mutation testing. During the course of literature review, renowned databases were searched for the relevant publications in the field to include relevant studies up to the year 2014. Few studies for the year 2015-16, gathered by performing snowball search, have also been included. For reviewing the literature in the field, 43 studies were evaluated, out of which 18 studies were thoroughly studied and analysed. The result of this SLR shows that search based techniques were applied to mutation testing primarily for two purposes, either for mutant optimisation or for test case optimisation. The future directions of this SLR suggests the application of search based techniques for other issues related to mutation testing, like, solution to equivalents mutants, generation of non-trivial mutants, multi-objective test data generation and non-functional testing.
    Źródło:
    e-Informatica Software Engineering Journal; 2017, 11, 1; 59-76
    1897-7979
    Pojawia się w:
    e-Informatica Software Engineering Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Comparative analysis of the power parameters of a line start permanent magnet synchronous motor using professional FEM packages and in-house software
    Autorzy:
    Baranski, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/27309928.pdf
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Czasopisma i Monografie PAN
    Tematy:
    FEA
    in-house software
    measurement verification
    professional FEM packages
    finite element software packages
    Opis:
    The paper discusses the methods for calculating the power parameters of a line start permanent magnet synchronous motor (LSPMSM). The calculations have been performed using the author’s specialized FEM software and professional FEM packages, ANSYS Maxwell and COMSOL Multiphysics. The author’s algorithm for solving equations of the electromagnetic field based on the FEM has been presented. The in-house software developed on this algorithm and professional software have been used to analyse the power parameters of the LSPMS motor. In addition, both calculation time and accuracy were analysed. The calculation results were compared to the measurement results.
    Źródło:
    Archives of Electrical Engineering; 2023, 72, 3; 585--596
    1427-4221
    2300-2506
    Pojawia się w:
    Archives of Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Realizacja programowa algorytmów filtracji, estymacji i sterowania w PLC/PAC
    The software implementation of filtering, estimation and control algorithms in PLC / PAC
    Autorzy:
    Tarnawski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/276853.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    sterowniki programowalne PLC/PAC
    dyskretne algorytmy sterowania
    strojenie i weryfikacja oprogramowania
    estymacja RLS_FF
    programmable logic controller (PLC)
    discrete control algorithms
    tuning and verification of software
    estimation RLS_FF
    Opis:
    Sterowniki programowalne PLC (ang. Programmable Logic Controller) są główną przemysłową platformą implementacji algorytmów sterowania bezpośredniego. Standardowo producenci PLC dostarczają programistom jedynie podstawowe, najprostsze metody sterowania. Wraz z rozwojem sterowników PLC oraz ich następców PAC (ang. Programmable Automation Controller) pojawiły się zwiększone możliwości obliczeniowe i pamięciowe tych urządzeń oraz pełniejsza implementacja języków programowania określonych w normie IEC-61131-3. PLC i PAC mają obecnie moc obliczeniową i dostępną pamięć odpowiadającą komputerom osobistym PC sprzed kilku lat, można je programować również w językach wysokiego poziomu stosując zmienne zdefiniowane w postaci macierzowej. Uwzględniając pewne ograniczenia i specyfikę działania PLC oraz PAC można w tych urządzeniach zaimplementować wiele zdyskretyzowanych algorytmów sterowania, estymacji czy filtracji. Pomimo niewątpliwych potencjalnych korzyści wynikających ze stosowania zaawansowanych metod w warstwie sterowania bezpośredniego, temat ten w literaturze jest skromnie reprezentowany. W artykule prezentowane jest podejście do programowania algorytmów filtracji, estymacji i sterowania, opisanych równaniami różnicowymi. Przedstawiono metodykę budowy oprogramowania dla PLC/PAC. Dla zilustrowania procesu implementacji algorytmu z pogranicza filtracji i estymacji wykorzystano metodę najmniejszych kwadratów ze współczynnikiem zapominania RLS_FF.
    PLCs (Programmable Logic Controllers) are the main industrial platform for the implementation of direct control algorithms. PLC producers provide to programmers only basic, simple control methods. With the development of PLC and their successors (Programmable Automation Controller - PAC) appeared increased CPU and memory capabilities of the equipment and fuller implementation of programming languages defined in the standard IEC-61131-3. PLCs and PACs now have the computing power and memory of the personal computer PC a few years ago, they can also be programmed in high level languages using the variables in the form of a matrix. Taking into account the limitations and specifics of the PLC and PAC in these devices it is possible to implement almost any discrete control, estimation and filtering algorithm. This paper presents an approach to programming filtering, estimation and control algorithms defined by differential equations. The methodology of software development for PLC / PAC is presented. For presentation of implementation process of filtering and estimation algorithm least squares with forgetting factor (RLS_FF) is used.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 5; 100-107
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Certification of Highly Complex Safety-Related Systems
    Autorzy:
    Reinert, D.
    Schaefer, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/89868.pdf
    Data publikacji:
    1999
    Wydawca:
    Centralny Instytut Ochrony Pracy
    Tematy:
    certification
    complex electronic systems
    numerical controller
    power drive
    machining centre
    validation
    verification
    microcomputer
    metrics
    software
    certyfikacja
    systemy elektroniczne
    centra obróbkowe
    mikrokomputery
    oprogramowanie
    Opis:
    The BIA has now 15 years of experience with the certification of complex electronic systems for safety-related applications in the machinery sector. Using the example of machining centres, this presentation will show the systematic procedure for verifying and validating control systems using Application Specific Integrated Circuits (ASICs) and microcomputers for safety functions. One section will describe the control structure of machining centres with control systems using “ integrated safety.” A diverse redundant architecture combined with crossmonitoring and forced dynamisation is explained. In the main section the steps of the systematic certification procedure are explained showing some results of the certification of drilling machines. Specification reviews, design reviews with test case specification, statistical analysis, and walk-throughs are the analytical measures in the testing process. Systematic tests based on the test case specification, Electro Magnetic Interference (EMI) and environmental testing, and site acceptance tests on the machines are the testing measures for validation. A complex software driven system is always undergoing modification. Most of the changes are not safety-relevant but this has to be proven. A systematic procedure for certifying software modifications is presented in the last section of the paper.
    Źródło:
    International Journal of Occupational Safety and Ergonomics; 1999, 5, 4; 537-552
    1080-3548
    Pojawia się w:
    International Journal of Occupational Safety and Ergonomics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Nowoczesne technologie projektowania systemów automatyki
    Modern Technologies of Designing Automation Systems
    Autorzy:
    Pauluk, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2068660.pdf
    Data publikacji:
    2020
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    systemy wbudowane
    jakość oprogramowania
    kryzys oprogramowania
    cykl życia oprogramowania
    Model V
    weryfikacja
    walidacja
    techniki testowania MIL
    techniki testowania SIL
    techniki testowania PIL
    techniki testowania HIL
    embedded systems
    quality of software
    software crisis
    software life cycle
    V-Model
    verification
    validation
    MIL model-in-the-loop testing
    SIL model-in-the-loop testing
    PIL model-in-the-loop testing
    HIL model-in-the-loop testing
    Opis:
    W pracy omówiono stosowane obecnie techniki wytwarzania systemów automatycznej regulacji. Rozpoczęto od przybliżenia stosowanych w inżynierii oprogramowania pojęć: kryzys oprogramowania, katastrofa oprogramowania oraz cykl życia oprogramowania. To ostatnie zostało w kolejnych rozdziałach poszerzone o najbardziej popularne modele wytwarzania oprogramowania. Następnie przybliżono na bazie modelu V rolę weryfikacji i walidacji w cyklu życia oprogramowania i sterownika oraz przedstawiono techniki testowe stosowane w walidacji sterownika. Są to testy typu: oprogramowanie w pętli, procesor w pętli oraz sterownik w pętli. Ostatni rozdział opisuje technikę projektowania systemów automatyki w oparciu o zaawansowane modele matematyczne Model Based Design.
    The paper presents the currently used techniques for the development of the automation control systems. It begins with the introduction of the concepts used in software engineering: software crisis, software disaster, and software life cycle. The subsequent chapters extend the latter by including the most popular software development models. Then, based on the V model, the role of verification and validation in the software and controller life cycle is presented, and the test techniques used in the controller validation are given. These test types include: software in the loop, processor in the loop, and controller in the loop. The last chapter describes the technique of designing automation systems based on the advanced mathematical models Model-Based Design.
    Źródło:
    Pomiary Automatyka Robotyka; 2020, 24, 4; 85--91
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-15 z 15

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies