Ontwerp en analyse van embedded systemen (2R770)

Laatste updatedatum: 1 mei 2002

Docent: J.F. Groote

3de trimester 2001/2002, maandag 3/4 uur Ma 1.43. Eerste bijeenkomst 8 april, 2002.

Afronding dmv. opdracht, die bestaat uit het ontwerpen van een control systeem voor sluizen naar de vacuumkamers van de nieuwe generatie ASML wafersteppers. Dit vak staat voor twee studiepunten.

Literatuur:

Notitie over accounts

Het BCF heeft accounts aangemaakt op het Linux-systeem "gazelle".

De homedirectories staan op svstud en die zijn van toepassing op gazelle. De passwords zijn gelijk gemaakt aan die op svstud. Wie zijn password wil wijzigen moet dat op zowel svstud als gazelle doen.

Twee gebruikers, zie bijlage, hebben nog nooit een account op svstud gebruikt. Voor svstud kan het password bij de helpdesk ingesteld en geopend worden, voor gazelle moet BCF dat doen (Vincent Huijgen, Martijn Vernooij).

Sommige accounts hebben in .login of .cshrc een verwijzing naar een /etc/bcflogin die op gazelle niet bestaat en die op svstud niet meer nodig is. Bij inloggen op gazelle zal een waarschuwing verschijnen, dan moet de gebruiker die verwijzing weghalen. Een standaard account op svstud kan werken met een lege .login, .cshrc en .tcshrc .

Aanwijzingen voor gebruik van een grafische omgeving staan op https://www.win.tue.nl/bcf/documentatie/unix/exceed/index.php. Dit is van toepassing op zowel svstud (Solaris) als gazelle (Linux) .

Bijlage: accounts

  • s002167 ID 503949, nieuw account op svstud
  • s012008 ID 522425, heeft account nog nooit gebruikt
  • s434018
  • s442864
  • s446058
  • s447236
  • s448073
  • s454906
  • s455423
  • s455830
  • s456927
  • s458238
  • s461586
  • s500376
  • s430088
  • s413018
  • s419274
  • s450424

    Gebruik van de toolsets

    De mcrl toolset kan gebruikt worden op vrijwel alle linux machines van de faculteit (ik raad gebruik van de gazelle.win.tue.nl aan), maar het kan ook apart worden geinstalleerd. De mcrl homepagina bevat de mogelijkheid om een stabiele, wat oudere versie of een zeer up to date versie, die mogelijk problemen bevat, te downloaden. Installeren gaat met de commando's ./configure en gmake install. De binaries zijn eveneens te vinden in de directory /home/jfg/MCRL/bin en kunnen daarvandaan in principe probleemloos geexecuteerd worden. In het geval zich problemen voordoen, kunnen die het beste per mail aan mij worden voorgelegd (J.F.Groote@tue.nl). De belangrijkste commando's zijn mcrl, die de syntax en semantiek van een mcrl file checkt en fouten meedeelt. Het commando mcrl -tbf file vertaalt de mcrl file `file' naar een lineair proces in de file `file.tbf'. Hierop zijn simulatoren (msim), statespace generatoren (instantiator) en symbolisch manipuloren (constelm, parelm, etc.) van toepassing.

    Het is ook mogelijk om gebruik te maken van de Caesar/Aldebaran toolset. Deze werkt alleen op de pclin015.win.tue.nl omdat er alleen voor deze machine een license aanwezig is. Hiertoe moeten de volgende commando's bij het inloggen worden uitgevoerd:

    setenv CADP ~jfg/CADP

    setenv CADP_LANGUAGE english

    setenv CADP_CC "gcc -I/usr/include"

    setenv CADP_TMP /tmp

    setenv CADP_PS_VIEWER ghostview

    setenv EDITOR vi

    setenv NAVIGATOR netscape

    alias arch $CADP/com/arch

    setenv FC2DIR ~jfg/FC2

    Verder moet {$CADP}/com en {$CADP}/bin.`arch` aan het pad worden toegevoegd. De home pagina van de toolset biedt zeer veel informatie, inclusief de mogelijkheid om de toolset te downloaden. Hiervoor moet wel separaat de (gratis) licentie worden aangevraagd. Dit kost ca. een week.

    Assignment for april 21

    In order to gain experience with the toolset, it is requested to model a simple embedded system (say a stopwatch) which must be simulated. As proof that this assignment will have been properly executed the mcrl description of this embedded system must be handed in by each group.

    Visit to ASML

    The visit to ASML will take place in building 1 (contrary to building 7 as I stated during the last lecture). Room 1B0013. De run 1110. Veldhoven. This is the pyramid shaped building close to the highway around Eindhoven. The meeting starts at 14:00 and will end at approximately 17:00. Our hosts are Remco van Engelen and Barend van den Nieuwelaar. I (=Jan Friso) will go there by bike and leave at 13:20 at the south entrance of the Hoofdgebouw. I informed ASML that 12 persons will visit them, being groups B,C,D and Q.

    Presentation from ASML

    The sheets presented by ASML referring to the assignment are here in powerpoint format.

    Terug