Formal Description Technique

A tantárgyleírás hatályossága

Hatályosság kezdete:

—

Hatályosság vége:

—

Subject name (Hungarian, English)

Formal Description Technique

Formal Description Technique

Subject code

BMEVITTD045

Subject type

—

Training Level

—

Course types and hours (weekly/semester)

Course type	lecture	tutorial	laboratory
hours (weekly)	4	0	0
type (linked/independent)	—	—	—

Assessment type

vizsga

Credits

Subject coordinator

Dr Csopaki Gyula

position: egyetemi docens

Responsible department

—

Faculty

Subject website

—

Primary curriculum type

—

Direct prerequisites – Strong prerequisite

none

Direct prerequisites – Weak prerequisite

none

Direct prerequisites – Parallel prerequisite

none

Direct prerequisites – Milestone prerequisite

none

Direct prerequisites – Exclusion

none

Objectives

Programme

A formális leirónyelveken alapuló protocol engineering folyamata és módszertana. Az SDL2000 formális leirónyelv és alakalmazása kommunikációs protokollok leirásásra. A konformancia tesztelés módszertana. A TTCNv3 teszteleíró nyelv és alkalmazása. Számítógéppel segített automatikus teszgenerálási algoritmusok. Az ASN1 adatleíró nyelv és alakalmazása a formális leírás során. Esettanulmányok bemutatása, számítógépes fejlesztőeszközök által megvalósított algorítmusok. Nemzetközi szabványosítási folyamatok.

Ismeretek nyújtása a kommunikációs protokollok formális leirásának, verifikációjának , validációjának és konformancia tesztelésésnek módszertanáról és leiró nyelveiről.

Learning outcomes

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Knowledge

No learning outcomes recorded.

Skills

No learning outcomes recorded.

Attitudes

No learning outcomes recorded.

Autonomy and responsibility

No learning outcomes recorded.

Oktatási módszertan

előadás (2 hetes intenziv kurzus, egész napos elfoglaltsággal

Tanulástámogató anyagok

Not provided.

Recommended preliminary knowledge for completing the subject

Knowledge type competencies

(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

Távközlési rendszerek.

Skill type competencies

(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

nincs

Recommended (non-compulsory) preliminary competencies

(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)

Távközlési rendszerek.

General rules

Követelmények: a. A szorgalmi időszakban:- b. A vizsgaidőszakban: vizsga c. Elővizsga: -

Assessment methods

In-term assessments

No detailed assessments provided.

Weight of in-term assessments

No weights provided.

Exam-period assessments

No detailed assessments provided.

Weight of exam elements

No weights provided.

Grade calculation

No grade thresholds provided.

Attendance requirements

No attendance requirements provided.

Rules for retake and resubmission

Not provided.

Short description

Not provided.

Detailed description

Not provided.

Recommended courses

Tematikaütközés miatt a tárgyat csak azok vehetik fel, akik korábban nem hallgatták a következő tárgyakat: Nincs ilyen tárgy

Workload to complete the subject

No workload breakdown provided.

Validity of subject requirements

Requirements valid from:

—

Requirements valid until:

—

Curriculum placement

No curriculum placements recorded for this subject version.