Temat: systems verification

Skocz do pozycji: 1.

Tytuł:: The MODUS Approach to Formal Verification
Autorzy:: Lukasz Brewka
José Soler
Michael Berger
Data publikacji:: 2014-03-01
Tematy:: software quality
formal verification
embedded systems
translation tool selection; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Communication with Environment in Alvis Models
Autorzy:: Szpyrka, M.
Matyasik, P.
Mrówka, R.
Kotulski, L.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Alvis modelling language
embedded systems
formal verification
communication with environment; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Embedded Systems Development Tools: A MODUS-oriented Market Overview
Autorzy:: Michalis Loupis
Data publikacji:: 2014-03-01
Tematy:: embedded systems
formal verification
co-simulation
performance optimization
code generation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Modelling concurrent systems with Alvis
Modelowanie systemów współbieżnych w języku Alvis
Autorzy:: Szpyrka, M.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: Alvis
systemy wbudowane
systemy współbieżne
modelowanie i weryfikacja
embedded systems
concurrent systems
modelling and verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Cross modeling of embedded systems using SysML and Petri Nets
Autorzy:: Szmuc, Wojciech
Szmuc, Tomasz
Data publikacji:: 2018
Wydawca:: Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:: embedded systems
cross modeling
formal verification
systemy wbudowane
modelowanie krzyżowe
formalna weryfikacja; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Introduction to Alvis modelling language
Wprowadzenie do języka modelowania Alvis
Autorzy:: Szpyrka, M.
Matysik, P.
Mrówka, R.
Witalec, W.
Baniewicz, J.
Balicki, K.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: język modelowania Alvis
formalna weryfikacja
systemy wbudowane
Alvis language
formal verification
embedded systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Specyfikacja sterowników cyfrowych zorientowana na niezawodność
Quality oriented specification of logic controllers
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: systemy wbudowane
Rekonfigurowalne Sterowniki Logiczne
Diagramy Maszyny Stanów UML
sieci Petriego
diagramy SFC
embedded systems
reconfigurable logic controller
UML state machine diagram
Petri net
sequential function chart
quality-driven design
formal verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Nowoczesne technologie projektowania systemów automatyki
Modern Technologies of Designing Automation Systems
Autorzy:: Pauluk, Mariusz
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja