Full metadata record
DC poleHodnotaJazyk
dc.contributor.advisorRacek, Stanislav
dc.contributor.authorPaška, Marek
dc.date.accepted2013-04-08
dc.date.accessioned2014-05-30T11:37:56Z
dc.date.available2004-09-01cs
dc.date.available2014-05-30T11:37:56Z
dc.date.issued2013
dc.date.submitted2012-11-01
dc.identifier51333
dc.identifier.urihttp://hdl.handle.net/11025/10736
dc.description.abstractPočítače jsou dnes všudypřítomné, což platí především pro takzvané vestavěné systémy. Tato zařízení obvykle mají omezenou výpočetní kapacitu. Vývoj softwaru pro takové systémy je často konzervativní, používá prostředky jako například jazyk C. V posledních letech je pozorovatelný příklon k jazyku Java. U vestavěných systémů je požadována velká spolehlivost, což vede k využívání formálních metod. V této práci se snažíme přinést sílu dynamicky typovaných jazyků do oblasti vývoje vestavěných systémů. Tyto jazyky mají vyšší míru abstrakce než například Java a díky své flexibilitě jsou schopny absorbovat nová paradigmata jako například aspektově orientované programování. Navrhujeme vývojový proces založený na programovacím jazyku Python a překladači PyPy. Díky Pythonu můžeme rychle vytvářet prototypy, které se potom přeloží do efektivního strojového kódu. Náš vývojový proces obsahuje i pokročilé testování založené na formálních metodách. Z kódu v Pythonu můžeme vygenerovat Java bajtkód, který potom zkoumáme nástrojem Java Pathfinder, což je explicitní model checker. Životaschopnost našeho procesu jsme demonstrovali na několika případových studiích.cs
dc.format178 s. (267000 znaků)cs
dc.format.mimetypeapplication/pdf
dc.language.isoencs
dc.publisherZápadočeská univerzita v Plznics
dc.rightsPlný text práce je přístupný bez omezení.cs
dc.subjectvestavěná zařízenícs
dc.subjectmodel checkingcs
dc.subjectPythoncs
dc.subjectPyPycs
dc.subjectgenerativní programovánícs
dc.subjectvývojový procescs
dc.subjectlineární temporální logikacs
dc.titleDevelopment of dependable and efficient software with dynamically-typed languagescs
dc.title.alternativeVývoj spolehlivého a efektivního softwaru v dynamicky typovaných jazycíchen
dc.typedisertační prácecs
dc.thesis.degree-namePh.D.cs
dc.thesis.degree-levelDoktorskýcs
dc.thesis.degree-grantorZápadočeská univerzita v Plzni. Fakulta aplikovaných vědcs
dc.description.departmentKatedra informatiky a výpočetní technikycs
dc.thesis.degree-programInženýrská informatikacs
dc.description.resultObhájenocs
dc.rights.accessopenAccessen
dc.description.abstract-translatedComputers are ubiquitous; this is especially true in the case of so called embedded devices. These devices usually have constrained computational resources. Software development for such systems tends to be conservative and use tools such as C programming language. More recently, there is a notable inclination towards Java. Embedded systems have also increased dependability requirements that lead to adoption of formal methods. In this work, we try to bring the power of dynamically-typed languages to the embedded system development. These languages have higher level of abstraction than Java and due to their flexibility are able to embrace new paradigms such as Aspect Oriented Programming. We propose a software development process based on the Python programming language and its advanced compiler called PyPy. We enable to create rapid prototypes in Python that are then translated to the efficient machine code. Last but not least, our development process also presents advanced testing based on formal methods. From the Python code, we also generate the Java byte-code that is then investigated by Java Pathfinder which is an explicit model checker. Our development approach proved to be viable on a couple of case studies.en
dc.subject.translatedembedded devicesen
dc.subject.translatedmodel checkingen
dc.subject.translatedPythonen
dc.subject.translatedPyPyen
dc.subject.translatedgenerative programmingen
dc.subject.translatedsoftware development processen
dc.subject.translatedlinear temporal logicen
Vyskytuje se v kolekcích:Disertační práce / Dissertations (KIV)

Soubory připojené k záznamu:
Soubor Popis VelikostFormát 
paskma_phd_thesis-rc2.pdfPlný text práce1,62 MBAdobe PDFZobrazit/otevřít
posudky-odp-paska.pdfPosudek oponenta práce3,26 MBAdobe PDFZobrazit/otevřít
protokol-odp-paska.pdfPrůběh obhajoby práce883,29 kBAdobe PDFZobrazit/otevřít
Zobrazit minimální záznam Zobrazit statistiky


Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam: http://hdl.handle.net/11025/10736

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.

hledání
navigace
  1. DSpace at University of West Bohemia
  2. Publikační činnost / Publications
  3. Fakulta aplikovaných věd / Faculty of Applied Sciences
  4. Katedra informatiky a výpočetní techniky / Department of Computer Science and Engineering
  5. Disertační práce / Dissertations (KIV)