Sökning: "Formal modeling and Analysis"
Visar resultat 16 - 20 av 51 avhandlingar innehållade orden Formal modeling and Analysis.
16. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance
Sammanfattning : Autonomous vehicles such as mobile driver-less construction equipment bear the promise of increased safety and industrial productivity by automating repetitive tasks and reducing manual labor costs. These systems are usually involved in safety- or mission-critical scenarios, therefore they require thorough analysis and verification. LÄS MER
17. Rigorous Simulation : Its Theory and Applications
Sammanfattning : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. LÄS MER
18. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models
Sammanfattning : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. LÄS MER
19. Phonemic awareness and learning to read : a longitudinal and quasi-experimental study
Sammanfattning : Phonemic awareness is the ability to attend to the formal, phonetic or phonemic, aspects of spoken language. Skill in analysis of speech sounds and synthesis of phonetic segments into real words has often been found to correlate with success in reading acquisition. LÄS MER
20. On Industrial Automation Software Development; Modeling, Analysis and Execution Using Automation Components and IEC 61499
Sammanfattning : Ever increasing need for new personalized products drives the development of flexible manufacturing system. Due to their complexity they are controlled using distributed control systems that use many cooperating computers for the control task. LÄS MER