search query: @keyword Solibri Model Checker / total: 3
reference: 2 / 3
« previous | next »
Author:Ahmed, Muneer
Title:Design and implementation of component distance rule for Solibri Model Checker
Komponenttien etäisyys -säännön suunnittelu ja toteutus Solibri Model Checkeriin
Publication type:Master's thesis
Publication year:2012
Pages:(11) + 88      Language:   eng
Department/School:Tietotekniikan laitos
Main subject:Ohjelmistotekniikka   (T-106)
Supervisor:Saikkonen, Heikki
Instructor:Paasiala, Pasi ; Törmä, Seppo
OEVS:
Electronic archive copy is available via Aalto Thesis Database.
Instructions

Reading digital theses in the closed network of the Aalto University Harald Herlin Learning Centre

In the closed network of Learning Centre you can read digital and digitized theses not available in the open network.

The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/

You can read theses on the Learning Centre customer computers, which are available on all floors.

Logging on to the customer computers

  • Aalto University staff members log on to the customer computer using the Aalto username and password.
  • Other customers log on using a shared username and password.

Opening a thesis

  • On the desktop of the customer computers, you will find an icon titled:

    Aalto Thesis Database

  • Click on the icon to search for and open the thesis you are looking for from Aaltodoc database. You can find the thesis file by clicking the link on the OEV or OEVS field.

Reading the thesis

  • You can either print the thesis or read it on the customer computer screen.
  • You cannot save the thesis file on a flash drive or email it.
  • You cannot copy text or images from the file.
  • You cannot edit the file.

Printing the thesis

  • You can print the thesis for your personal study or research use.
  • Aalto University students and staff members may print black-and-white prints on the PrintingPoint devices when using the computer with personal Aalto username and password. Color printing is possible using the printer u90203-psc3, which is located near the customer service. Color printing is subject to a charge to Aalto University students and staff members.
  • Other customers can use the printer u90203-psc3. All printing is subject to a charge to non-University members.
Location:P1 Ark Aalto     | Archive
Keywords:geometric algorithm
component distance rule
building information modeling
Solibri Model Checker
geometrinen algoritmi
komponenttien etäisyys sääntö
tietomallinnus
Solibri Model Checker
Abstract (eng): Different proximity requirements need to be satisfied when a building is designed.
For example, there must not be too much distance between a toilet seat and a wash basin.
On the other hand, some components must not be closer than a given distance.
In this work, a new parametric rule has been implemented as a part of Solibri Model Checker to check these requirements.
Building Information Modeling is used to design the modern era models and the previous trend of model design done with paper and pencil, only have been history.
Solibri Model Checker software product uses BIM and analyzes BIM files with rules to find out problems and drawbacks in them.
This thesis focuses one of the rules that checks, whether specific components exist within the range of the given maximum and minimum distances with certain parameters such as disciplines, classifications, methods and distance value.

This thesis focuses on the implementation of a Component Distance module as a part of Solibri Model Checker.
The work consists of all the phases of the software development life cycle for the Component Distance Rule.
The requirements are based on requirements engineering from the perspective of the client and self-analysis.
For designing, UML modeling language is used and MagicDraw as a tool.
Java technology is used as the implementation programming language.
The rule is tested both with automatic unit tests and manually.
Consistency is maintained in the requirements validation and verification process to evaluate requirements against implemented software.
Quality factors such as memory optimization, usability, performance are dealt using plug-ins and latest libraries.
Abstract (fin): Rakennusten suunnittelussa esiintyy erilaisia etäisyysvaatimuksia.
Esimerkiksi WC-istuin ja pesuallas eivät saa olla liian kaukana toisistaan.
Toisaalta jotkin komponentit eivät saa olla liian kaukana toisistaan.
Tässä diplomityössä toteutettiin Solibri Model Checker -ohjelmistoon (SMC) uusi parametrisoitava sääntö tarkastamaan näitä asetettuja vaatimuksia.
Tietomallinnusta (BIM) käytetään nykyaikaisten mallien suunnittelussa.
Kynällä piirretyt mallit ovat historiaa.
SMC analysoi tuotettuja tietomalleja sääntöjen avulla ja ilmoittaa niiden sisältämistä suunnitteluongelmista ja epäkohdista.
Tässä työssä keskitytään yhteen sääntöön, joka tarkastaa, ovatko tietyt komponentit annetun enimmäis- tai vähimmäisetäisyyden päässä toisistaan.
Sääntöä pystyy konfiguroimaan erilaisiin käyttötarkoituksiin muuttamalla käytettäviä luokitteluja, tarkastusmenetelmiä, etäisyysarvoa tai tarkastettavaa suunnittelualaa.

Tässä diplomityössä keskitytään SMC:n Komponenttien etäisyys -sääntömoduulin toteutukseen.
Työ sisältää kaikki ohjelmistokehityksen elinkaaren vaiheet.
Säännölle asetetut vaatimukset perustuvat asiakkaan toiveisiin ja itseanalyysiin.
Suunnittelussa apuna käytettiin UML-mallinnuskieltä ja MagicDraw -ohjelmistoa.
Toteutus tehtiin Java-ohjelmointikielellä.
Toteutusta testattiin sekä automaattitestein että käsin.
Vaatimuksia validointiin ja arvioitiin toteutettua ohjelmistoa vastaan.
Käyttämällä laajennuksia ja viimeisimpiä kirjastoja pyrittiin vaikuttamaan laatutekijöitä kuten esimerkiksi muistinkäytön optimointiin, käytettävyyteen ja suorituskykyyn.
ED:2013-01-07
INSSI record number: 45734
+ add basket
« previous | next »
INSSI