Kokemuksia Solibri Model Checkerin käytöstä tietomallitarkastuksissa
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
School of Arts, Design and Architecture |
Bachelor's thesis
Ask about the availability of the thesis by sending email to the Aalto University Learning Centre oppimiskeskus@aalto.fi
Authors
Date
2019
Department
Major/Subject
Mcode
Degree programme
Arkkitehtuuri
Language
fi
Pages
29 + 8
Series
Abstract
Tämän kandidaatintön aiheena on asuinrakennusten tietomallien tarkastaminen Solibri Model Checker -ohjelmalla. Tutkimuksessa kerättiin kokemuspohjaista tietoa Solibrin käytöstä sekä hyviä käytäntöjä ohjelman käyttöön. Lisäksi selvitettiin tietomalliprosessin luonnetta. Aihe on ajankohtainen, koska tietomallinnusta käytetään enenevässä määrin rakennusten suunnittelussa. Tietomallien laatua on tarpeen tarkastaa ja löytyvät virheet korjata, jotta työmaalle saadaan toimitettua ristiriidattomia dokumentteja. Kirjallisuuskatsauksessa käydään läpi tietomallin määritelmää, tietomallinnuksen hyötyjä ja tavoitteita. Tietomallitarkastuksista ja Solibri Model Checkeristä on kirjoitettu varsin vähän tutkimusta. Tietomallien tarkastamista Solibri Model Checker -ohjelmalla on tässä työssä tutkittu asiantuntijahaastattelujen ja tapaustutkimuksen keinoin. Haastatteluihin valikoitui kolme haastateltavaa. Haastateltavien valintakriteerinä oli se, että he käyttivät kaikki Solibria työssään. Haastattelut toteutettiin puolistrukturoituina teemahaastatteluina, joissa käytettiin ennalta laadittua kysymyslistaa. Haastattelujen puolistrukturoitu luonne antoi mahdollisuuden kysyä haastateltavilta täydentäviä lisäkysymyksiä tarvittaessa. Haastattelunauhat litteroitiin, ja kiteytettiin tärkeimpien ideoiden tasolle kunkin kysymyksen kohdalla. Esimerkkiprojekteina käytettiin kahta todellista asuinkerrostaloprojektia, joiden tietomallitarkastuksen allekirjoittanut teki itse Solibri Model Checker -ohjelmalla. Esimerkkiprojektien avulla haluttiin saada yksityiskohtaisempia vastauksia kysymyksiin Solibrin heikkouksista ja vahvuuksista, ja tietomallintarkastuksen prosessista. Tietomallivirheiden syntyyn liittyvät kysymykset rajattiin tämän tutkimuksen ulkopuolelle. Solibria pidettiin pääosin hyvänä ja monipuolisena ohjelmana, ja Solibrissa nähtiinkin lukumääräisesti enemmän hyviä kuin huonoja puolia. Toisaalta todettiin myös, ettei Solibrin sääntöpohjainen tarkastus pysynyt havaitsemaan kaikkia tietomalliongelmia, kuten tietomallista puuttuvia objekteja. Solibrin luonne sääntöpohjaisena ohjelmana aiheuttaa sen, ettei ohjelma tulkitse sille annettua tietoa. Niinpä ihminen joutuu tekemään tietomallitarkastukseen liittyvän tulkinnan. Solibrin tuottamissa virheilmoituksissa toistuu runsaasti tapauksia, joissa ei ole todellista tietomallivirhettä, vaan esimerkiksi tietomallinnuksen tarkkuuden rajoitteisiin liittyviä ongelmia. Tällaisten tapausten selvittäminen vie runsaasti tietomallintarkastajan työaikaa. Esimerkkiprojektien tarkastaminen tuotti paljolti samanlaisia huomioita kuin mitä asiantuntijahaastattelut ja kirjallisuuskatsauskin. Esimerkkiprojektien pohjalta koottiin yhteen kehitysehdotuksia Solibri Model Checker -ohjelmaan liittyen. Tietomallinnuksen ja tietomallitarkastuksen prosesseihin liittyy kolme kehitettävää osa-aluetta: projektiosapuolille tarvitaan yhteinen intressi projektin onnistumisen suhteen, tietomallinnusohjelmia on kehitettävä kohti parempaa yhteensopivuutta tietomallitarkastusohjelmien kanssa, ja tietomallitarkastusohjelmia on kehitettävä kohti tehokkaampaa virheiden etsimistä ja sujuvampaa käyttökokemusta.Description
Supervisor
Tervo, AnneThesis advisor
Tervo, AnneKeywords
tietomalli, tietomallitarkastus, solibri model checker, laadunvalvonta, yhdistelmämalli, törmäystarkastelu