Sökning: "Formal modeling and Analysis"

Visar resultat 26 - 30 av 51 avhandlingar innehållade orden Formal modeling and Analysis.

  1. 26. Numerical Investigation of Ship Responses in Calm Water and Regular Head Waves

    Författare :Mohsen Irannezhad; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Nominal wake; Resistance; CFD; RANS; FNPF; Regular head waves; Ship motions;

    Sammanfattning : In order to design fuel efficient ships and install right machinery onboard, ship designers need to know the interaction effects between hull, propeller and appendages in realistic operating conditions. Neglecting the interaction effects may result in under/over-prediction of the required power. LÄS MER

  3. 27. Enhancing Model-Based Development of Embedded Systems : Modeling, Simulation and Model-Transformation in an Auotmotive Context

    Författare :Tahir Naseer Qureshi; Martin Törngren; De-Jiu Chen; Ramin Tavakoli Kolagari; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The increased usage of embedded computer systems in products like automobiles has not only introduced new innovations, additional safety and comfort but also increased the product and development complexity. Several model-based development (MBD) approaches have been proposed to support the management of such complexity. LÄS MER

  4. 28. Model-driven Analysis and Verification of Automotive Embedded Systems

    Författare :Raluca Marinescu; Cristina Seceleanu; David Garlan; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into consideration the system’s intricate features and examines both their functional and extra-functional requirements. LÄS MER

  5. 29. Rough beginnings : Executive function in adolescents and young adults after preterm birth and repeat antenatal corticosteroid treatment

    Författare :Johanna Stålnacke; Ann-Charlotte Smedler; Hans Forssberg; Peter Anderson; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; cognitive flexibility; cluster analysis; development; latent variable analysis; longitudinal studies; parental education; perinatal medical complications; person-oriented approach; structural equation modeling; working memory; Psychology; psykologi;

    Sammanfattning : This thesis investigates long-term cognitive outcome in two cohorts of adolescents and young adults exposed to stressors during the perinatal period: one group born preterm (.... LÄS MER

  7. 30. Vulnerability and Risk Analysis Methods and Application in Large Scale Development of Secure Systems

    Författare :Shanai Ardi; Kristian Sandahl; Nahid Shahmehri; Edgar Weippl; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Since software products are heavily used in today’s connected society, design and implementation of such software products to make them resilient to security threats become crucial.This thesis addresses some of the challenges faced by software vendors when developing secure software. LÄS MER