Zobrazit v EDS

Integrated environment for the analysis and design of distributed real-time embedded computing systems.

Uloženo v:
Podrobná bibliografie
Název: Integrated environment for the analysis and design of distributed real-time embedded computing systems.
Autoři: Smelyansky, R., Bakhmurov, A., Volkanov, D., Chemeritskii, E.
Zdroj: Programming & Computer Software; Sep2013, Vol. 39 Issue 5, p242-254, 13p
Témata: REAL-time computing, EMBEDDED computer systems, COMPUTER-aided design, COMPUTER simulation, CYBERNETICS, COMPUTER engineering
Abstrakt: Problems of analysis and design of embedded real-time systems for controlling complex engineering systems are considered by an example of a DYANA simulation environment and its development at the Laboratory of Computing Systems (LCS), Faculty of Computational Mathematics and Cybernetics, Moscow State University. Special attention is paid to the verification of the conformity of the designed system to the requirements formulated at the early stages of design. The key features of this environment are as follows: the use of a formal model of operation for distributed systems, and the analysis of various aspects of the behavior of a system, both quantitative and logical, by a unified description of systems. The application of the DYANA environment in research and engineering projects over the last 28 years is considered. A comparison with other domestic and foreign results in the field of simulation of real-time distributed embedded computing systems is presented. [ABSTRACT FROM AUTHOR]
Copyright of Programming & Computer Software is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Databáze: Complementary Index
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://resolver.ebscohost.com/openurl?sid=EBSCO:edb&genre=article&issn=03617688&ISBN=&volume=39&issue=5&date=20130901&spage=242&pages=242-254&title=Programming & Computer Software&atitle=Integrated%20environment%20for%20the%20analysis%20and%20design%20of%20distributed%20real-time%20embedded%20computing%20systems.&aulast=Smelyansky%2C%20R.&id=DOI:10.1134/S0361768813050058
    Name: Full Text Finder
    Category: fullText
    Text: Full Text Finder
    Icon: https://imageserver.ebscohost.com/branding/images/FTF.gif
    MouseOverText: Full Text Finder
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Smelyansky%20R
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edb
DbLabel: Complementary Index
An: 90245511
RelevancyScore: 835
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 834.630676269531
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Integrated environment for the analysis and design of distributed real-time embedded computing systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Smelyansky%2C+R%2E%22">Smelyansky, R.</searchLink><br /><searchLink fieldCode="AR" term="%22Bakhmurov%2C+A%2E%22">Bakhmurov, A.</searchLink><br /><searchLink fieldCode="AR" term="%22Volkanov%2C+D%2E%22">Volkanov, D.</searchLink><br /><searchLink fieldCode="AR" term="%22Chemeritskii%2C+E%2E%22">Chemeritskii, E.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Programming & Computer Software; Sep2013, Vol. 39 Issue 5, p242-254, 13p
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22REAL-time+computing%22">REAL-time computing</searchLink><br /><searchLink fieldCode="DE" term="%22EMBEDDED+computer+systems%22">EMBEDDED computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22COMPUTER-aided+design%22">COMPUTER-aided design</searchLink><br /><searchLink fieldCode="DE" term="%22COMPUTER+simulation%22">COMPUTER simulation</searchLink><br /><searchLink fieldCode="DE" term="%22CYBERNETICS%22">CYBERNETICS</searchLink><br /><searchLink fieldCode="DE" term="%22COMPUTER+engineering%22">COMPUTER engineering</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Problems of analysis and design of embedded real-time systems for controlling complex engineering systems are considered by an example of a DYANA simulation environment and its development at the Laboratory of Computing Systems (LCS), Faculty of Computational Mathematics and Cybernetics, Moscow State University. Special attention is paid to the verification of the conformity of the designed system to the requirements formulated at the early stages of design. The key features of this environment are as follows: the use of a formal model of operation for distributed systems, and the analysis of various aspects of the behavior of a system, both quantitative and logical, by a unified description of systems. The application of the DYANA environment in research and engineering projects over the last 28 years is considered. A comparison with other domestic and foreign results in the field of simulation of real-time distributed embedded computing systems is presented. [ABSTRACT FROM AUTHOR]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>Copyright of Programming & Computer Software is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=90245511
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1134/S0361768813050058
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 13
        StartPage: 242
    Subjects:
      – SubjectFull: REAL-time computing
        Type: general
      – SubjectFull: EMBEDDED computer systems
        Type: general
      – SubjectFull: COMPUTER-aided design
        Type: general
      – SubjectFull: COMPUTER simulation
        Type: general
      – SubjectFull: CYBERNETICS
        Type: general
      – SubjectFull: COMPUTER engineering
        Type: general
    Titles:
      – TitleFull: Integrated environment for the analysis and design of distributed real-time embedded computing systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Smelyansky, R.
      – PersonEntity:
          Name:
            NameFull: Bakhmurov, A.
      – PersonEntity:
          Name:
            NameFull: Volkanov, D.
      – PersonEntity:
          Name:
            NameFull: Chemeritskii, E.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 09
              Text: Sep2013
              Type: published
              Y: 2013
          Identifiers:
            – Type: issn-print
              Value: 03617688
          Numbering:
            – Type: volume
              Value: 39
            – Type: issue
              Value: 5
          Titles:
            – TitleFull: Programming & Computer Software
              Type: main
ResultId 1