<p>Examensarbetet utreder metodiker för skrivning av de regler som styr den taktiska simulatorn TACSI, vilken används och utvecklas av SAAB Aerospace, samt möjligheten att använda de befintliga verktygen ADEC och TACSI-batch för detta. Tonvikten i arbetet ligger på att att skapa en metodik för regelskrivning baserad på inhämtad kunskap kring den problematik som möter gamla och nya användare av TACSI. Denna metodik avses både fungera som ett hjälpmedel för TACSI-användarna såväl som en startpunkt för vidare arbete inom området.</p>

The thesis work is done in collaboration with Prodtex AB, which works to develop digital tools to facilitate the constructor´s work in virtual environments, for instance CAFD within CATIA V5. What the client wanted the project participants to perform was a comparison of the company's semi-automatic software for fixture design, and the traditional construction method with CATIA. The reason for the method comparison is because Prodtex AB requires data, which they can present to potential customers. The participants produced a method to enable the necessary components of the project, the method consisted of training in fixture design, fixture construction and work with the consulting company´s application. These elements have been essential for the comparison to be reliable. The main part of the assignment consisted of constructing units for the given fixture. The reason behind this is due to the necessity of a certain level of experience in fixture design, which is required to be able to assemble units with an accurate and efficient procedure. The method comparison generated data in terms of time in the measurement areas, input, design and export that the project participants analyzed and compiled in the result section. Based on the statistics, participants were able to find answers about which features the software made the most time savings of, and how abundant these were in relation to the traditional design method. A conclusion about when it was beneficial for a company to invest in the software was based on reasoning deduced from the outcome discussion.

Examensarbetet utreder metodiker för skrivning av de regler som styr den taktiska simulatorn TACSI, vilken används och utvecklas av SAAB Aerospace, samt möjligheten att använda de befintliga verktygen ADEC och TACSI-batch för detta. Tonvikten i arbetet ligger på att att skapa en metodik för regelskrivning baserad på inhämtad kunskap kring den problematik som möter gamla och nya användare av TACSI. Denna metodik avses både fungera som ett hjälpmedel för TACSI-användarna såväl som en startpunkt för vidare arbete inom området.

Verification of knowledge-bases is a critical step to ensure the quality of a knowledge-based system. The success of these systems depends heavily on how qualitative the knowledge is. Manual verification is however cumbersome and error prone, especially for large knowledge-bases. This thesis provides a design theory, based upon the suggested framework by Gregor and Jones (2007). The theory proposes a general design of automated verification tools, which have the abilities of verifying heuristic knowledge in rule-based systems utilizing certainty factors. Included is a verification of completeness and consistency technique customized to this class of knowledge-based systems. The design theory is instantiated in a real-world verification tool development project at Uppsala University. Considerable attention is given to the design and implementation of this artifact – uncovering issues and considerations involved in the development process. For the knowledge management practitioner, this thesis offers guidance and recommendations for automated verification tool development projects. For the IS research community, the thesis contributes with extensions of existing design theory, and reveals some of the complexity involved with verification of a specific rule-based system utilizing certainty factors.